Automatic Result Verification by Complete Run-Time Checking of Computations.

Edgar F. A. Lederer Romeo A. Dumitrescu

Published in: Int. J. Found. Comput. Sci. (2001)

Keyphrases

semi automatic
artificial intelligence
three dimensional
information technology
data driven
formal verification
database
data sets
databases
website
case study
wide range
video sequences
data model
fully automatic