Predicate abstraction in a program logic calculus.
Benjamin WeißPublished in: Sci. Comput. Program. (2011)
Keyphrases
- computer algebra
- formal language
- algebraic structure
- natural deduction
- modal logic
- high level
- hardware designs
- proof procedure
- logic programming
- computational properties
- predicate logic
- sequent calculus
- proof search
- cut elimination
- theorem proving
- inference rules
- declarative semantics
- neural network
- relation algebra
- asynchronous circuits
- first order logic
- proof theory
- multi agent systems
- bounded model checking