SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft

This publication has 23 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Automatic Creation of Environment Models via Training
  Published by Springer Nature ,2004
• Refining Approximations in Software Predicate Abstraction
  Published by Springer Nature ,2004
• Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
  Published by Springer Nature ,2002
• Relative Completeness of Abstraction Refinement for Software Model Checking
  Published by Springer Nature ,2002
• Virtual Storytelling Using Virtual Reality Technologies for Storytelling
  Published by Springer Nature ,2001
• Automatic predicate abstraction of C programs
  Published by Association for Computing Machinery (ACM) ,2001
• Boolean and Cartesian Abstraction for Model Checking C Programs
  Published by Springer Nature ,2001
• A static analyzer for finding dynamic programming errors
  Software: Practice and Experience, 2000
• Bebop: A Symbolic Model Checker for Boolean Programs
  Published by Springer Nature ,2000