The Rapid Software Verification Framework.

Pamina Georgiou Bernhard Gleiss Ahmed Bhayat Michael Rawson Laura Kovács Giles 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