×
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)
224 views
Contract-Based Integration of Cyber-Physical Analyses (Poster)
56 views
Beyond Vacuity: Towards the Strongest Passing Formula Hana ChocklerArie Gurfinkel Ofer Strichman Technion - Israel Institute of Technology IBM Research
223 views
Review of the automata-theoretic approach to model-checking
224 views
System Design Research Laboratory Specification-based Testing with Linear Temporal Logic Li Tan Oleg Sokolsky Insup Lee University of Pennsylvania
216 views
Algorithmic Software Verification
46 views
An Automata-Theoretic Approach to LTL
80 views
Four Lectures on Model Checking Tom Henzinger University of California, Berkeley
222 views
Algorithmic Software Verification Rajeev Alur University of Pennsylvania ARO Review, May 2005
222 views