An Integrated Development Environment for Formal Specifications.

Michael R. Laux Robert H. Bourdeau Betty H. C. Cheng

Published in: SEKE (1993)

Keyphrases

formal specification
model checking
specification language
object oriented design
specification languages
formal methods
process algebra
concurrent systems
reverse engineering
temporal logic
design methodology
multi agent
open source
business processes
formal specification language