Login / Signup

The Boogie Verification Debugger (Tool Paper).

Claire Le GouesK. Rustan M. LeinoMichal Moskal
Published in: SEFM (2011)
Keyphrases
  • hidden markov models
  • model checking
  • machine learning
  • image processing
  • software tools
  • database
  • data sets
  • databases
  • artificial intelligence
  • case study
  • relational databases
  • general purpose