A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis.

Bhargav S. Gulavani Sumit Gulwani

Published in: CAV (2008)

Keyphrases

high level
domain specific
databases
domain ontology
finite difference
real time
machine learning
multi agent
artificial neural networks
low level