Login / Signup
Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS.
Qingguo Xu
Huaikou Miao
Published in:
IASTED Conf. on Software Engineering (2006)
Keyphrases
</>
formal verification
real time
formal model
computational model
model checking
timed automata
probabilistic model
conceptual model
conceptual framework
modeling framework
machine learning
artificial intelligence
high level
bayesian framework
model checker