Output details
15 - General Engineering
University of Leicester
Calculating Concurrency Using Circus
This publication presents novel work, funded by QinetiQ, in the area of formal techniques for developing software and hardware control systems, and has been applied in military equipment development. Contribution is an algebra enabling the calculation of concurrent systems from sequential specifications. Impact is an increase in confidence in implementations without compromising verification processes, with a dramatic reduction in associated costs. Academic take-up includes projects at the University of York (Jim Woodcock, High Integrity Systems Engineering Research Group).
Contact: Colin O’Halloran, D-RisQ Ltd, Wyche Innovation Centre, Malvern, WR13 6PL, info@drisq.com (formerly QinetiQ)