×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [atomic proposition]
Home >
atomic proposition
1 Introduction to Model Checking Ken McMillan Cadence Berkeley Labs
[email protected]
.
224 views
Grand Challenge Problem: Model Check Concurrent Software Edmund M. Clarke Department of Computer Science Carnegie Mellon University.
213 views
System Design Research Laboratory Specification-based Testing with Linear Temporal Logic Li Tan Oleg Sokolsky Insup Lee University of Pennsylvania.
212 views
08-LogicalArgs
215 views
1 Lecture 1: Model Checking Edmund Clarke School of Computer Science Carnegie Mellon University.
214 views
Lecture 1: Model Checking
20 views
Modal logic(s)
81 views
Model Checking Overview Edmund M. Clarke, Jr. School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213.
213 views
Model Checking Programs Using Abstraction
43 views
L ogics for D ata and K nowledge R epresentation
29 views
Software Verification 2 Automated Verification
58 views