Timed Modal Specification - Theory and Tools.

Karlis Cerans Jens Chr. Godskesen Kim Guldstrand Larsen

Published in: CAV (1993)

Keyphrases

formal methods
ims qti
software tools
computational model
building blocks
end users
high level
user friendly
visualization tools
general theory
modal logic
formal verification
formal models
formal theory
topics covered include
timed automata
data sets