A Tool for Checking ANSI-C Programs.

Edmund M. Clarke Daniel Kroening Flavio Lerda

Published in: TACAS (2004)

Keyphrases

software tools
real time
data sets
neural network
real world
multiscale
data analysis
information technology