Formal Methods: State of the Art and Future Directions

Edmund M. Clarke and Jeannette M. Wing
Computer Science Department
Carnegie Mellon University
Pittsburgh, PA 15213

August 12, 1996

• Introduction
• State of the Art
  • Specification
  • Verification
    • Model Checking
    • Theorem Proving
• Future Directions
  • Fundamental Concepts
  • Methods and Tools
  • Integration of Methods
    • Model Checking and Theorem Proving
    • Integration with the System Development Process
  • Education and Technology Transfer
• Concluding Remarks
• References
• About this document ...