Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.
David M. GoldschlagPublished in: IEEE Trans. Software Eng. (1990)
Keyphrases
- concurrent programs
- boyer moore
- theorem prover
- pattern matching
- process algebra
- model checking
- sliding window
- search algorithm
- theorem proving
- concurrent programming
- first order logic
- formal specification
- temporal logic
- concurrent processes
- concurrent systems
- data streams
- inference rules
- object oriented
- data model
- web applications
- expert systems