Integrating Formal Specification and Software Verification and Validation.

Roger Duke Tim Miller Paul A. Strooper

Published in: TFM (2004)

Keyphrases

formal specification
object oriented design
process algebra
specification languages
model checking
specification language
reverse engineering
data abstraction
concurrent systems
business rules
grid workflow
software components
model checker