Verifying Formal Specifications of Synchronous Processes.

Patricia P. Griffiths Charles J. Prenner

Published in: POPL (1976)

Keyphrases

formal specification
model checking
formal specification language
temporal logic
object oriented design
formal methods
specification languages
design methodology
specification language
concurrent systems
process algebra
database
reverse engineering
databases
knowledge acquisition
production system