• 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