Specification and Verification of Real-Time Properties Using LOTOS and SQTL.

Abderrahmane Lakas Gordon S. Blair Amanda G. Chetwynd

Published in: IWSSD (1996)

Keyphrases

real time
formal verification
temporal ordering
database
formal language
low cost
high speed
formal methods
real time systems
protocol specification
asynchronous circuits
topological properties
structural properties
vision system
control system
relational databases
high level
case study