Login / Signup
Automated Verification of Integer Overflow.
Asankhaya Sharma
Published in:
CoRR (2019)
Keyphrases
</>
automated verification
model checking
automated reasoning
formal verification
floating point
integer valued
temporal logic
buffer overflow
artificial intelligence
graph theory
theorem prover
theorem proving