A Platform for Combining Deductive with Algorithmic Verification.

Amir Pnueli Elad Shahar

Published in: CAV (1996)

Keyphrases

model checking
real time
databases
computer vision
face verification
formal verification
knowledge base
high level
data structure
search algorithm
object oriented
distributed systems
mobile applications
combining multiple
platform independent