Verification and Specifications of Concurrent Programs.
Leslie LamportPublished in: REX School/Symposium (1993)
Keyphrases
- concurrent programs
- process algebra
- concurrent systems
- asynchronous circuits
- model checking
- formal specification
- temporal logic
- automated verification
- distributed systems
- bounded model checking
- formal methods
- petri net
- formal verification
- protocol specification
- concurrent programming
- high level
- database
- web applications
- object oriented
- expert systems