Applications of Extended Static Checking

This publication has 8 references indexed in Scilit:

• Modular Specification and Verification of Object-Oriented Programs
  Published by Springer Nature ,2002
• Static verification of dynamically detected program invariants
  Electronic Notes in Theoretical Computer Science, 2001
• Automatically validating temporal safety properties of interfaces
  Published by Springer Nature ,2001
• Houdini, an Annotation Assistant for ESC/Java
  Published by Springer Nature ,2001
• A static analyzer for finding dynamic programming errors
  Software: Practice and Experience, 2000
• Using Abstract State Machines at Microsoft: A Case Study
  Published by Springer Nature ,2000
• Data groups
  ACM SIGPLAN Notices, 1998
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977