Automatic Verification of Real-Timed Systems Using EPSILON
DOI:
https://doi.org/10.7146/brics.v1i19.21648Abstract
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.Downloads
Published
1994-06-01
How to Cite
Godskesen, J. C., Larsen, K. G., & Skou, A. (1994). Automatic Verification of Real-Timed Systems Using EPSILON. BRICS Report Series, 1(19). https://doi.org/10.7146/brics.v1i19.21648
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.