Login / Signup

AutoProof: auto-active functional verification of object-oriented programs.

Carlo A. FuriaMartin NordioNadia PolikarpovaJulian Tschannen
Published in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
  • functional verification
  • object oriented programs
  • specification languages
  • integration testing
  • object oriented
  • impact analysis
  • databases
  • formal specification
  • software testing
  • low latency
  • hardware software