Sign in

The Rapid Software Verification Framework.

Pamina GeorgiouBernhard GleissAhmed BhayatMichael RawsonLaura KovácsGiles Reger
Published in: FMCAD (2022)
Keyphrases
  • computer vision
  • probabilistic model
  • lightweight
  • database
  • machine learning
  • website
  • database systems
  • natural language
  • information technology
  • theoretical foundation
  • computational framework
  • framework enables