Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs.

Peter Schrammel Bertrand Jeannet

Published in: SAS (2011)

Keyphrases

data flow
control flow
symbolic execution
database machine
data transfer
digital signal processing
high level
xml documents
sensitivity analysis
database
management system
high speed
model checking
java programs
object oriented software