Login / Signup
A case study of specification and verification using JML in an avionics application.
Peter H. Schmitt
Isabel Tonin
Claus Wonnemann
Eric Jenn
Stéphane Leriche
James J. Hunt
Published in:
JTRES (2006)
Keyphrases
</>
application specific
formal methods
case study
search algorithm
formal verification
data sets
machine learning
model checking
real time
data mining
decision making
image processing
expert systems
evolutionary algorithm
test bed
asynchronous circuits