Automatic Verification of Real-Timed Systems Using EPSILON

Authors

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

DOI:

https://doi.org/10.7146/brics.v1i19.21648

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.

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