Module Checking
Top Cited Papers
- 1 January 2001
- journal article
- Published by Elsevier in Information and Computation
- Vol. 164 (2) , 322-344
- https://doi.org/10.1006/inco.2000.2893
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Buy one, get one free!!!Journal of Logic and Computation, 1996
- Model checking and modular verificationACM Transactions on Programming Languages and Systems, 1994
- A linear-time model-checking algorithm for the alternation-free modal mu-calculusFormal Methods in System Design, 1993
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- The monotone and planar circuit value problems are log space complete for PACM SIGACT News, 1977
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967