Model checking Timed CSP

Philip Armstrong, Gavin Lowe, Joël Ouaknine, and A. W. Roscoe

Though Timed CSP was developed 25 years ago and the CSP-based refinement checker FDR [25] was first released 20 years ago, there has never been a version of this tool for Timed CSP. In this paper we report on the creation of such a version, based on the digitisation results of Ouaknine [16, 17] and the associated development of discrete-time versions of Timed CSP with associated models [19, 14, 11, 27].

Proceedings HOWARD-60, 2012. 21 pages.

PDF © 2012 P. Armstrong, G. Lowe, J. Ouaknine, and A. W. Roscoe.

Imprint / Data Protection