Testability of Formal Specifications.

Stan P. van de Burgt Jan Kroon A. M. Peeters

Published in: PSTV (1992)

Keyphrases

formal specification
model checking
specification languages
object oriented design
software testing
test data generation
specification language
reverse engineering
formal methods
concurrent systems
process algebra
semantic data models
database
expert systems
temporal logic
software components