Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol.

Béatrice Bérard Laurent Fribourg

Published in: CAV (1999)

Keyphrases

security analysis
real time
automated verification
model checking
formal verification
data mining
automated reasoning
high speed
web services
vision system
parametric models
real time systems
low cost
temporal logic
computer programs