"Fly Me to the Moon": Verification of Aerospace Systems.

Dimitra Giannakopoulou

Published in: SEFM (2010)

Keyphrases

formal methods
intelligent systems
complex systems
automated verification
data mining
website
verification method
hidden markov models
asynchronous circuits
real time
building blocks
high assurance
computing systems
model checking
learning systems
management system
data structure
real world
databases