Login / Signup
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan.
Jason Belt
Patrice Chalin
John Hatcliff
Robby
Published in:
HILT (2012)
Keyphrases
</>
leading edge
related fields
carefully selected
verification method
neural network
multi disciplinary
machine learning
artificial intelligence
computer science
recent advances
model checking
genetic algorithm
information technology
learning systems
researchers and practitioners