Using formal specification and simulation: practical experience with distributed applications.
Willem HengeveldPeter van der ToornGeert-Jan HoubenPublished in: FORTE (1994)
Keyphrases
- formal specification
- practical experience
- model checking
- object oriented design
- specification languages
- specification language
- formal specification language
- formal methods
- reverse engineering
- process algebra
- concurrent systems
- data abstraction
- formal verification
- model checker
- cooperative
- fine grained
- business processes
- information technology