An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks.
Kokichi FutatsugiAtaru T. NakagawaPublished in: ICFEM (1997)
Keyphrases
- formal specification
- model checking
- specification languages
- specification language
- formal methods
- formal specification language
- process algebra
- reactive systems
- concurrent systems
- temporal logic
- object oriented design
- reverse engineering
- protocol specification
- general purpose
- mobile robot
- software components
- social networks
- database