A partial approach to model checking
- 10 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 2, 406-415
- https://doi.org/10.1109/lics.1991.151664
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Markov decision processes and regular eventsPublished by Springer Nature ,2005
- Real-time logics: complexity and expressivenessPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Tableau-based model checking in the propositional mu-calculusActa Informatica, 1990
- A structural induction theorem for processesPublished by Association for Computing Machinery (ACM) ,1989
- Avoiding the state explosion problem in temporal logic model checkingPublished by Association for Computing Machinery (ACM) ,1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Reasoning about networks with many identical finite-state processesPublished by Association for Computing Machinery (ACM) ,1986
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985
- Specification and verification of concurrent systems in CESARPublished by Springer Nature ,1982
- Decision methods in the theory of ordinalsBulletin of the American Mathematical Society, 1965