Tableau-based model checking in the propositional mu-calculus

• 1 September 1990
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 27  (8) , 725-747
• https://doi.org/10.1007/bf00264284

Abstract

Keywords

• MODEL CHECKING
• TABLEAU BASED
• PROPOSITIONAL MU CALCULUS
• WORKBENCH