Reversing concurrent systems into formal specifications.

Karl R. P. H. Leung Clement F. S. Yim

Published in: APSEC (1994)

Keyphrases

concurrent systems
formal specification
model checking
process algebra
object oriented design
specification languages
transition systems
specification language
design methodology
reverse engineering
temporal logic
formal methods
software testing
software components
general purpose
database
petri net