Login / Signup

Formal Verification of AADL Models Using UPPAAL.

Fernando Silvano GoncalvesDavid PereiraEduardo TovarLeandro 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