Login / Signup
An Approximation-Based Abstract Interpretation Framework for Formal Verification of Floating-Point Programs.
Vinh D. Thai
Tho T. Quan
Tien V. Le
Binh T. Ngo
Published in:
RIVF (2012)
Keyphrases
</>
abstract interpretation
floating point
formal verification
model checking
fixed point
static analysis
termination analysis
artificial intelligence
distributed databases
active rules
dynamic analysis
high level
data warehouse
logic programming
program slicing