Now showing items 21-30 of 86
Transformational programming and the derivation of algorithms.
Proving the correctness of the interlock mechanism in processor design.
(Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997)
In this paper, Interval Temporal Logic (ITL) us used to specify and verify the event processor EP/3, which is a multi-threaded pipeline processor capable of executing parallel programs. We first give the high level ...
Run-time analysis of time-critical systems.
Conditioned semantic slicing for abstraction; industrial experiment.
(John Wiley & Sons, 2008-10)