Liveness and Acceleration in Parameterized Verification.

Amir Pnueli Elad Shahar

Published in: CAV (2000)

Keyphrases

model checking
face verification
asynchronous circuits
real time
formal methods
functional verification
databases
real world
machine learning
multi agent
temporal logic
formal analysis
signature verification