The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems.
Rance CleavelandJayesh N. GadaPhilip M. LewisScott A. SmolkaOleg SokolskyShipei ZhangPublished in: Specification of Parallel Algorithms (1994)
Keyphrases
- concurrent systems
- transition systems
- formal specification
- process algebra
- model checking
- temporal logic
- specification language
- distributed systems
- formal methods
- petri net
- code generation
- practical application
- software tools
- protocol specification
- end users
- real world
- real life examples
- computer aided software engineering
- formal verification
- asynchronous circuits
- data flow
- software components
- database systems