Formal verification of semi-algebraic sets and real analytic functions.

J. Tanner Slagel Lauren White Aaron Dutle

Published in: CPP (2021)

Keyphrases

semi algebraic
formal verification
spatial databases
arbitrary dimension
model checking
symbolic model checking
bounded model checking
automated verification
spatial data
model checker
program slicing
range queries