Chair of Software Modeling and Verification
  • Home
  • News
  • People
    • Thesis Projects
    • Lectures
      • Concurrency Theory
      • Model Checking
      • Probabilistic Programming
    • Publications
    • Projects
    • MOVES seminar
    • Tools
      • PRINSYS - PRobabilistic INvariant SYnthesiS
      • Prophesy
      • Smyle
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  1. Home
  2. News
  3. Storm in Aachener Nachrichten

Storm in Aachener Nachrichten

May 15, 2021

The newspaper Aachener Nachrichten published the article Storm findet sicherheitskritische Softwarefehler.

The article addresses Storm and its applications in industry.

Tool Paper at CAV 2021
Paper at SafeComp 2021
© 2026 Chair of Software Modeling and Verification. All Rights Reserved.
  • Privacy Policy
  • Faculty of Computer Science
  • RWTH Aachen