Login / Signup
An evaluation of approaches to model checking real-time task schedulability analysis.
Madoda Nxumalo
Nils Timm
Stefan Gruner
Published in:
Int. J. Softw. Tools Technol. Transf. (2023)
Keyphrases
</>
model checking
real time
temporal logic
finite state
dynamic analysis
formal verification
temporal properties
abstract interpretation
model checker
transition systems
petri net
formal methods
pspace complete
bounded model checking
automated verification