Correctness-by-Construction and Post-hoc Verification: Friends or Foes?

Maurice H. ter Beek Reiner Hähnle Ina Schaefer

Published in: ISoLA (1) (2016)

Keyphrases

post hoc
construction process
model checking
real time
multiresolution
real world
information retrieval
artificial intelligence
image processing
preprocessing
relational databases
signature verification