Now showing items 1-4 of 4
The Enhancement of the Goodyer Skin Rheometer by means of a Microcontroller Based PCB.
(European Design and Test Conference (EDTC) Paris, 1997-03)
GSI Ltd designs and manufactures low volume high cost specialist Test and Measurement Equipment, mainly concentrating on systems for use by the cosmetics industry, and for use in prototype vehicles. The FUSE project involved ...
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 ...
A dense-time temporal logic with nice compositionality properties
A dense temporal logic specification method for the development of reactive systems is introduced. The two development constructs of this method are refinement and composition. A reactive system is specified by a pair ...
Refining interval temporal logic specifications
Interval Temporal Logic (ITL) was designed as a tool for the specification and verification of systems. The development of an executable subset of ITL, namely Tempura, was an important step in the use of temporal logic as ...