Login / Signup

Incremental Verification with Mode Variable Invariants in State Machines.

Temesghen KahsaiPierre-Loïc GarocheCesare TinelliMike Whalen
Published in: NASA Formal Methods (2012)
Keyphrases
  • state machines
  • state machine
  • petri net
  • recurrent networks
  • sequence diagrams
  • model checking
  • recurrent neural networks
  • formal methods
  • real time
  • high level
  • test generation
  • intermediate representation