Login / Signup

Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve - the hi-lite project.

Johannes Kanig
Published in: HILT (2012)
Keyphrases
  • leading edge
  • model checking
  • related fields
  • case study
  • carefully selected
  • data mining
  • machine learning
  • information systems
  • natural language
  • data collection
  • distance learning