Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software

This publication has 16 references indexed in Scilit:

• NUSMV: a new symbolic model checker
  International Journal on Software Tools for Technology Transfer, 2000
• Java model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2000
• Logic Verification of ANSI-C Code with SPIN
  Published by Springer Nature ,2000
• Model-Checking Multi-threaded Distributed Java Programs
  Published by Springer Nature ,2000
• Slicing Software for Model Construction
  Higher-Order and Symbolic Computation, 2000
• Verification of time partitioning in the DEOS scheduler kernel
  Published by Association for Computing Machinery (ACM) ,2000
• A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
  Published by Springer Nature ,1999
• dSPIN: A Dynamic Extension of SPIN
  Published by Springer Nature ,1999
• Patterns in property specifications for finite-state verification
  Published by Association for Computing Machinery (ACM) ,1999
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997