Efficient local correctness checking for single and alternating boolean equation systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 820 LNCS, Issue , 1994, Pages 304-315

  Vergauwen, B ^a   Lewi, J ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85027400741     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58201-0_77     Document Type: Conference Paper

References (15)

1. Andersen, H. R.: Model Checking and Boolean Graphs, ESOP’92, LNCS 582, 1992.
2. Andersen, H. R.: Verification of Temporal Properties of Concurrent Systems, PhD thesis, Aarhus University, DAAMI PB-445, 1993.
3. Arnold, A., Crubille, P.: A linear algorithm to solve fixed-points equations on transition systems, Information Processing Letters, vol.29, 57-66, 1988.
4. Cleaveland, R.: Tableau-Based Model Checking in the Propositional Mu-Calculus, Acta Informatica, 1990.
5. Cleaveland, R., Steffen, B.: A Linear-Time Model Checking Algorithm for the Alternation-Free Modal Mu-Calculus, CAV’91, LNCS 575, 1991.
6. Cleaveland, R., Klein, M., Steffen, B.: Faster Model Checking for the Modal Mu-Calculus, CAV’92, Forthcoming.
7. Emerson, E.A., Lei, C.-L.: Efficient model checking in fragments of the propositional μ-calculus, LICS, 267-278, 1986.
8. Larsen, K.G.: Efficient local correctness checking, CAV’92, Forthcoming.
9. Stirling, C., Walker, D.: Local model checking in the modal mu-calculus, TCS, October 1991, see also LNCS 351, 369-383, CAAP 1989.
10. Tarski, A.: A Lattice-Theoretical Fixpoint Theorem and its Applications, Pacific Journal of Mathematics, Vol. 5, 1955.
11. van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics (extended abstract), in Information Processing 89, North-Holland, 1989.
12. Vergauwen, B., Lewi, J.: A linear algorithm for solving fixed points equations on transition systems, CAAP’92, LNCS 581.
13. Vergauwen, B., Lewi, J.: A Linear Local Model Checking Algorithm for CTL, CONCUR’93, LNCS 715.
14. Winskel, G.: A note on model checking the modal ν-calculus, ICALP, LNCS 372, 1989, see also TCS 83, 1991.
15. Xinxin, L.: Specification and Decomposition in Concurrency, PhD thesis, Aalborg University, 1992. R 92-2005.