Model-checking of causality properties

This publication has 13 references indexed in Scilit:

• A Partial Approach to Model Checking
  Information and Computation, 1994
• Proving partial order properties
  Theoretical Computer Science, 1994
• Combining partial order reductions with on-the-fly model-checking
  Published by Springer Nature ,1994
• TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION
  International Journal of Foundations of Computer Science, 1993
• A logical characterization of well branching event structures
  Theoretical Computer Science, 1992
• A Temporal Logic for Event Structures
  Published by Springer Nature ,1990
• Event fairness and non-interleaving concurrency
  Formal Aspects of Computing, 1989
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977