A linear local model checking algorithm for CTL

This publication has 13 references indexed in Scilit:

• Proof systems for Hennessy-Milner Logic with recursion
  Published by Springer Nature ,2005
• Model checking and boolean graphs
  Published by Springer Nature ,1992
• Computing behavioural relations, logically
  Published by Springer Nature ,1991
• Tableau-based model checking in the propositional mu-calculus
  Acta Informatica, 1990
• A linear algorithm to solve fixed-point equations on transition systems
  Information Processing Letters, 1988
• An algebraic and algorithmic method for analysing transition systems
  Theoretical Computer Science, 1986
• Automatic Verification of Sequential Circuits Using Temporal Logic
  IEEE Transactions on Computers, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Checking that finite state concurrent programs satisfy their linear specification
  Published by Association for Computing Machinery (ACM) ,1985
• Results on the Propositional µ-Calculus
  DAIMI Report Series, 1982