×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [ltl formula]
Black Box Checking Book: Chapter 9 Model Checking Finite state description of a system B. LTL formula. Translate into an automaton P. Check whether L(B)
219 views
Contract-Based Integration of Cyber-Physical Analyses (Poster)
55 views
Beyond Vacuity: Towards the Strongest Passing Formula Hana ChocklerArie Gurfinkel Ofer Strichman Technion - Israel Institute of Technology IBM Research
216 views
Review of the automata-theoretic approach to model-checking
221 views
Algorithmic Software Verification
46 views
An Automata-Theoretic Approach to LTL
74 views
Four Lectures on Model Checking Tom Henzinger University of California, Berkeley
221 views
Algorithmic Software Verification Rajeev Alur University of Pennsylvania ARO Review, May 2005
219 views
System Design Research Laboratory Specification-based Testing with Linear Temporal Logic Li Tan Oleg Sokolsky Insup Lee University of Pennsylvania
212 views