Search Results - "Mahony, B.P."

A case-study in timed refinement: a mine pump by Mahony, B.P., Hayes, I.J.

“…A specification and top-level refinement of a simple mine pump control system, as well as a proof of correctness of the refinement, are presented as an example…”
Get full text

Capturing periodic concurrent interactions of mission computer tasks by Jin Song Dong, Mahony, B.P., Fulton, N.

“…Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct result at the right…”
Get full text

Defining differentiation and integration in Z by Fidge, C.J., Hayes, I.J., Mahony, B.P.

“…We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems…”
Get full text