Generating error traces from verification-condition counterexamples.

K. Rustan M. Leino Todd D. Millstein James B. Saxe

Published in: Sci. Comput. Program. (2005)

Keyphrases

error rate
sufficient conditions
model checking
error analysis
linear complexity
concurrent systems
real time
artificial intelligence
case study
multi agent
signature verification
formal verification