Login / Signup
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers.
Dipankar Sarkar
S. C. De Sarkar
Published in:
IEEE Trans. Software Eng. (1989)
Keyphrases
</>
integer arithmetic
inference rules
first order logic
theorem prover
modal logic
logical framework
conditional probabilities
logic programming language
euclidean distance transform
model checking
formal methods
sequent calculus
expert systems
provably correct