Verifying safety properties of concurrent Java programs using 3-valued logic

This publication has 21 references indexed in Scilit:

• Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
  Published by Springer Nature ,1999
• dSPIN: A Dynamic Extension of SPIN
  Published by Springer Nature ,1999
• An Event-Based Structural Operational Semantics of Multi-threaded Java
  Published by Springer Nature ,1999
• A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel
  Published by Association for Computing Machinery (ACM) ,1998
• Constructing compact models of concurrent Java programs
  Published by Association for Computing Machinery (ACM) ,1998
• Verifying parameterized networks
  ACM Transactions on Programming Languages and Systems, 1997
• Non-concurrency analysis
  ACM SIGPLAN Notices, 1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• What are race conditions?
  ACM Letters on Programming Languages and Systems, 1992
• Recursive data structures
  International Journal of Parallel Programming, 1975