A Functional Programming Approach to the Specification and Verification of Concurrent Systems.
Peter DybjerHerbert P. SanderPublished in: Specification and Verification of Concurrent Systems (1988)
Keyphrases
- concurrent systems
- functional programming
- transition systems
- formal specification
- process algebra
- model checking
- temporal logic
- functional language
- programming language
- distributed systems
- execution model
- petri net
- object oriented programming
- formal verification
- high level
- formal methods
- reactive systems
- data sources
- asynchronous circuits
- business rules
- data flow
- reverse engineering
- key features
- building blocks
- source code