XMC: A Logic-Programming-Based Verification Toolset

This publication has 11 references indexed in Scilit:

• Model checking the Java meta-locking algorithm
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Verification of Parameterized Systems Using Logic Program Transformations
  Published by Springer Nature ,2000
• An efficient meta-lock for implementing ubiquitous synchronization
  Published by Association for Computing Machinery (ACM) ,1999
• Efficient model checking using tabled resolution
  Published by Springer Nature ,1997
• The Mur ϕ verification system
  Published by Springer Nature ,1996
• The state of Spin
  Published by Springer Nature ,1996
• Design, implementation, and evaluation of a software-based real-time Ethernet protocol
  ACM SIGCOMM Computer Communication Review, 1995
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Expressing interesting properties of programs in propositional temporal logic
  Published by Association for Computing Machinery (ACM) ,1986
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983