Login / Signup

Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation.

Jessica PetraschJan-Hendrik OepenSebastian KringsMoritz Gericke
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2018)
Keyphrases
  • model checker
  • model checking
  • specification language
  • domain specific
  • formal verification
  • temporal logic
  • test suite
  • formal methods
  • artificial intelligence
  • rough sets
  • domain independent
  • software components