GACAL: Conjecture-Based Verification - (Competition Contribution).

Benjamin Quiring Panagiotis Manolios

Published in: TACAS (2) (2020)

Keyphrases

model checking
face verification
digital images
formal analysis
formal verification
decision making
three dimensional
bayesian networks
functional verification