Specification and Verification of Object-Oriented Programs Using Supertype Abstraction.

Gary T. Leavens William E. Weihl

Published in: Acta Informatica (1995)

Keyphrases

object oriented programs
specification languages
integration testing
formal specification
model checking
object oriented
impact analysis
formal verification
high level
protocol specification
hardware designs
black box
formal methods
machine learning
asynchronous circuits
software engineering
training data