Login / Signup

Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool.

Paul Pettersson
Published in: COMPSAC (2011)
Keyphrases
  • formal methods
  • model checker
  • model checking
  • software engineering
  • formal analysis
  • formal specification language