Automatic Verification of Real-Timed Systems Using EPSILON

Jens Chr. Godskesen, Kim G. Larsen, Arne Skou

Abstract


In this paper we report on an application and extension of the theory of Timed Modal Specifications (TMS) and its associated verification tool EPSILON. The novel feature with which EPSILON has been extended is the ability to automatically generate diagnostic information in cases of erroneous refinement steps.

Full Text:

PDF


DOI: http://dx.doi.org/10.7146/brics.v1i19.21648
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.
OK


ISSN: 0909-0878 

Hosted by the State and University Library and Aarhus University Library