Login / Signup

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking.

Bernhard K. AichernigFlorian LorberMartin Tappler
Published in: Theory and Practice of Formal Methods (2016)
Keyphrases
  • real time
  • bounded model checking
  • genetic programming
  • database
  • artificial intelligence
  • general purpose
  • data exchange
  • formal verification