Login / Signup
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking.
Khaza Anuarul Hoque
Otmane Aït Mohamed
Yvon Savaria
Claude Thibeault
Published in:
FTSCS (2013)
Keyphrases
</>
model checking
temporal logic
formal methods
formal verification
verification method
timed automata
automated verification
bayesian networks
model checker
temporal properties
transition systems
partial order reduction
search algorithm
software engineering
finite state
abstract interpretation