Login / Signup

Check It Out: On the Efficient Formal Verification of Live Sequence Charts.

Jochen KloseTobe TobenBernd WestphalHartmut Wittke
Published in: CAV (2006)
Keyphrases
  • formal verification
  • neural network
  • open source
  • model checking
  • bounded model checking
  • input data
  • orders of magnitude
  • model checker
  • symbolic model checking