ISL: An Interval Logic for the Specification of Real-time Programs.

Asis Goswami Michael Bell Mathai Joseph

Published in: FTRTFT (1992)

Keyphrases

real time
asynchronous circuits
low cost
classical logic
dynamic logic
provably correct
control flow
formal language
neural network
high level
vision system
state machine
control system
predicate logic
transition systems