Login / Signup
Specification and verification challenges for sequential object-oriented programs.
Gary T. Leavens
K. Rustan M. Leino
Peter Müller
Published in:
Formal Aspects Comput. (2007)
Keyphrases
</>
object oriented programs
specification languages
integration testing
formal specification
model checking
formal verification
impact analysis
object oriented
formal methods
black box
protocol specification
asynchronous circuits
real world
source code
database systems
software testing
databases