Sound Numerical Computations in Abstract Acceleration.

Dario Cattaruzza Alessandro Abate Peter Schrammel Daniel Kroening

Published in: NSV@CAV (2017)

Keyphrases

machine learning
higher level
state machines
real world
information systems
image segmentation
low level
management system
case based reasoning
knowledge level