Integrating Object-Oriented Design and Deductive Verification of Software.

Bernhard Beckert Reiner Hähnle Peter H. Schmitt

Published in: SEFM (2006)

Keyphrases

object oriented design
software design
object oriented
object oriented systems
formal specification
model checking
software systems
software development
software maintenance
databases
formal methods
software tools
computer systems
information technology
website
neural network
data sets
verification method