Login / Signup

Automated formal analysis and verification: an overview.

Bohuslav KrenaTomás Vojnar
Published in: Int. J. Gen. Syst. (2013)
Keyphrases
  • formal analysis
  • formal methods
  • semi automated
  • agent model
  • databases
  • database systems
  • life cycle
  • machine learning
  • knowledge base
  • model checking
  • fully automated
  • ban logic