Cloud-Based Verification of Concurrent Software

This publication has 11 references indexed in Scilit:

• Mars code
  Communications of the ACM, 2014
• Model checking with bounded context switching
  Formal Aspects of Computing, 2011
• Swarm Verification Techniques
  IEEE Transactions on Software Engineering, 2010
• A mini challenge: build a verifiable filesystem
  Formal Aspects of Computing, 2007
• Parallel Randomized State-Space Search
  2006
• DCAS is not a silver bullet for nonblocking algorithm design
  2004
• Automating software feature verification
  Bell Labs Technical Journal, 2002
• Even Better DCAS-Based Concurrent Deques
  2000
• Mechanical verification of a garbage collector
  1999
• Space/time trade-offs in hash coding with allowable errors
  Communications of the ACM, 1970