On The No-Counterexample Interpretation.

Ulrich Kohlenbach

Published in: J. Symb. Log. (1999)

Keyphrases

model checking
formal verification
semantic interpretation
metadata
image interpretation
databases
real world
website
cooperative
viewpoint