A Dynamic Logic for Deductive Verification of Concurrent Programs.
Bernhard BeckertVladimir KlebanovPublished in: SEFM (2007)
Keyphrases
- dynamic logic
- concurrent programs
- process algebra
- concurrent systems
- model checking
- asynchronous circuits
- modal logic
- temporal logic
- reasoning about actions
- formal methods
- imperative programs
- concurrent programming
- object oriented
- formal specification
- propositional dynamic logic
- modal operators
- first order logic
- software development
- distributed systems
- web applications
- concurrent processes
- data model
- artificial intelligence