Login / Signup

A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker.

Tam Thi Thanh NguyenKazuhiro Ogata
Published in: SATE (2017)
Keyphrases
  • model checking
  • model checker
  • formal specification
  • temporal logic
  • formal verification
  • transition systems
  • formal methods
  • symbolic model checking
  • software development
  • description language