Model Checking Partial State Spaces with 3-Valued Temporal Logics

This publication has 16 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• When is 'partial' adequate? A logic-based proof technique using partial specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Bisimulation and divergence
  Information and Computation, 1990
• Some modal logics based on a three-valued logic.
  Notre Dame Journal of Formal Logic, 1988
• Modal logics for communicating systems
  Theoretical Computer Science, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• Correspondence Theory
  Published by Springer Nature ,1984
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983
• Some Modal Logics based on a Three‐valued Logic
  Theoria, 1967