C-programs verification based on mixed axiomatic semantics.
Igor S. AnureevIlya V. MaryasovValery A. NepomniaschyPublished in: Autom. Control. Comput. Sci. (2011)
Keyphrases
- programming language constructs
- dynamic logic
- fixpoint semantics
- symbolic execution
- logic programs
- stable model semantics
- normal logic programs
- model checking
- stable models
- hardware designs
- declarative semantics
- formal semantics
- formal verification
- control flow
- logic programming
- semantic information
- specification language
- database languages
- database
- probabilistic logic programs
- programming language
- verification method
- answer set programming
- decision theory
- logic programming language
- nonmonotonic logics
- object oriented
- java bytecode
- knowledge representation
- operational semantics
- neural network