Verification conditions are code.

Andrew M. Gravell

Published in: Acta Informatica (2007)

Keyphrases

sufficient conditions
computer vision
face verification
source code
model checking
person identification
knowledge base
evolutionary algorithm
environmental conditions
formal verification
asynchronous circuits