Verifying Timing Consistency in Formal Specifications.

Tibor Bartos Norbert Fristacky

Published in: IEEE Des. Test Comput. (1996)

Keyphrases

formal specification
model checking
formal specification language
temporal logic
specification languages
formal methods
object oriented design
asynchronous circuits
specification language
concurrent systems
process algebra
reverse engineering
real world
case study
design methodology
distributed systems