An Interval Logic for Real-Time System Specification.

Riccardo Mattolini Paolo Nesi

Published in: IEEE Trans. Software Eng. (2001)

Keyphrases

real time
asynchronous circuits
modal logic
linear temporal logic
low cost
classical logic
predicate logic
logical framework
specification languages
transition systems
state machine
interval data
state transition
formal specification
logic programming
control system
data sets