Verification of Quantitative Temporal Properties of SDL Specifications.

Iulian Ober Alain Kerbrat

Published in: SDL Forum (2001)

Keyphrases

temporal properties
model checking
automated verification
model checker
formal specification
bounded model checking
formal verification
temporal logic
concurrent systems
formal methods
asynchronous circuits
specification language
neural network
pattern recognition
control system
programming language