FM

(One of the Course Clusters.)

  • FM = Formal methods and testing
    • FM Chair LaKo, Co-chair WoAh, GeSc, MoJo, MeWa
    • FM: Testing, debugging and verification (@ST)
    • FM: Model based testing (@ST)
    • FM: Software engineering using formal methods (@ST)
    • FM: Test and verification (@ST)