Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements.

Atefeh Zareh Chahoki Marco Roveri Daniel Amyot John Mylopoulos

Published in: OVERLAY@AI*IA (2023)

Keyphrases

formal verification
image analysis
database
machine learning
quantitative analysis
object oriented