Login / Signup
Formal Verification of AADL Specifications in the Topcased Environment.
Bernard Berthomieu
Jean-Paul Bodeveix
Christelle Chaudet
Silvano Dal-Zilio
Mamoun Filali
François Vernadat
Published in:
Ada-Europe (2009)
Keyphrases
</>
formal verification
model checking
bounded model checking
automated verification
model checker
real time
temporal logic
symbolic model checking
mobile robot
reactive systems
artificial intelligence
high level
state space
dynamic environments
program slicing