Login / Signup
A formal verification approach for DEVS.
Hernán P. Dacharry
Norbert Giambiasi
Published in:
SCSC (2007)
Keyphrases
</>
formal verification
model checking
discrete event
model checker
symbolic model checking
bounded model checking
automated verification
program slicing
functional verification
temporal logic
coloured petri nets
web services
bayesian networks
simulation model