Login / Signup
Synthesizing Modal Transition Systems from Triggered Scenarios.
German E. Sibay
Víctor A. Braberman
Sebastián Uchitel
Jeff Kramer
Published in:
IEEE Trans. Software Eng. (2013)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
modal logic
distributed systems
artificial intelligence
object oriented
software systems
petri net
markov decision processes
model checker