Formal Verification of a Programming Logic for a Distributed Programming Language.
Cui ZhangRonald A. OlssonKarl N. LevittPublished in: Theor. Comput. Sci. (1999)
Keyphrases
- programming language
- formal verification
- bounded model checking
- logic programming
- model checker
- model checking
- programming environment
- object oriented
- general purpose
- database language
- denotational semantics
- object oriented programming
- high level
- software engineering
- concurrent programming
- specification language
- strongly typed
- database languages
- data abstraction
- programs written
- distributed systems
- computer programs
- program code
- temporal logic
- abstract data types
- linear temporal logic
- programming paradigms
- programming language constructs
- automated reasoning
- deductive databases