Login / Signup
Formal Verification of AADL Models Using UPPAAL.
Fernando Silvano Goncalves
David Pereira
Eduardo Tovar
Leandro Buss Becker
Published in:
SBESC (2017)
Keyphrases
</>
formal verification
model checking
model checker
probabilistic model
statistical models
orders of magnitude
complex systems
temporal logic
metamodel
symbolic model checking
automated verification