Vectorized model checking for computation tree logic
Lecture notes in computer science2005pp. 44–53
Related Papers
- → Kripke modelling and verification of temporal specifications of a multiple UAV system(2011)12 cited
- Model Checking Using Partial Kripke Structure with 3-Valued Temporal Logic(2006)
- → Vectorized model checking for computation tree logic(2005)2 cited
- → Characterizing Kripke structures in temporal logic. Interim report(1987)1 cited
- → Model Checking Alternating-Time Temporal Logics of Knowledge(2008)