Towards Heterogeneous Formal Specification.

Gilles Bernot Sophie Coudert Pascale Le Gall

Published in: AMAST (1996)

Keyphrases

formal specification
model checking
specification languages
object oriented design
specification language
reverse engineering
formal methods
data abstraction
concurrent systems
process algebra
software components
software design
temporal logic
formal specification language