Login / Signup

A framework for compositional nonblocking verification of extended finite-state machines.

Sahar MohajeraniRobi MalikMartin Fabian
Published in: Discret. Event Dyn. Syst. (2016)
Keyphrases
  • finite state machines
  • model checking
  • main contribution
  • probabilistic model
  • databases
  • finite state automata
  • learning algorithm
  • database
  • hidden markov models
  • domain ontology