Searching for "Techniques for Temporal Logic Model Checking." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
NUSMV: a new symbolic model checker
- … behaviors. A complementary verification technique is Temporal Logic Model Checking [23, 28, 51…
- Cited by 77 (14 self) – Add To MetaCart
-
SMC: a symmetry-based model checker for verification of safety and liveness properties
- …-based techniques for temporal logic model checking were introduced in Ip and Dill [1996], Clarke et al. [1993…
- Cited by 15 (3 self) – Add To MetaCart
-
SMC: A Symmetry Based Model Checker for Verification of Safety and Liveness Properties
- … graph as one traverses along the edge. Symmetry based techniques for temporal logic model-checking were…
- Cited by 8 (1 self) – Add To MetaCart
Showing 1 through 3.
