• Methdology
  • Applying Formal Methods in Software Development
  • Correctness by Construction
  • Multi-Logic Development
• Specification
  • Requirement Capture
  • Properties-Oriented Specification
  • Knowledge Specification
• Transformation
  • Reusable Transformation
  • Algebraic Foundations
• Verification
  • Meta-Development in Higher-Order Logic
  • Correctness Proof in Type Theory
• Case Studies
  • Complete Formal Development
  • Rigorous Development
  • Mixed Development