×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [atomic proposition]
1 Introduction to Model Checking Ken McMillan Cadence Berkeley Labs
[email protected]
232 views
Grand Challenge Problem: Model Check Concurrent Software Edmund M. Clarke Department of Computer Science Carnegie Mellon University
214 views
System Design Research Laboratory Specification-based Testing with Linear Temporal Logic Li Tan Oleg Sokolsky Insup Lee University of Pennsylvania
216 views
08-LogicalArgs
215 views
1 Lecture 1: Model Checking Edmund Clarke School of Computer Science Carnegie Mellon University
217 views
Lecture 1: Model Checking
22 views
Modal logic(s)
103 views
Model Checking Overview Edmund M. Clarke, Jr. School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
215 views
Model Checking Programs Using Abstraction
45 views
L ogics for D ata and K nowledge R epresentation
29 views
Software Verification 2 Automated Verification
73 views