Formal Verification of ODE-Solvers.

Published in: Joint Workshop of the German Research Training Groups in Computer Science (2014)

Keyphrases

formal verification
model checking
bounded model checking
model checker
symbolic model checking
ordinary differential equations
quantified boolean formulas
sat solvers
automated verification
artificial intelligence
temporal logic
program slicing
orders of magnitude
rough sets
eigenvalue problems