Login / Signup
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models.
Shiva Nejati
Khouloud Gaaloul
Claudio Menghi
Lionel C. Briand
Stephen Foster
David Wolfe
Published in:
CoRR (2019)
Keyphrases
</>
model checking
finite state machines
reactive systems
temporal properties
process model
temporal logic
verification method
process algebra
finite state
formal verification
real time systems
model checker