Reactive Systems Developing by Formal Specification Transformations.

Ammar Attoui Abdelfettah Hasbani

Published in: DEXA Workshop (1997)

Keyphrases

formal specification
reactive systems
model checking
formal methods
temporal logic
specification languages
specification language
object oriented design
process algebra
concurrent systems
reverse engineering
information flow
software testing
petri net
control flow
real world
software components