• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Maurice H. ter BeekReiner HähnleIna 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