Open AccessAutomatic Verification of Real-Timed Systems Using EPSILON
Author(s) -
Jens Chr. Godskesen,
Kim Guldstrand Larsen,
Arne Skou
Publication year - 1994
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v1i19.21648
Subject(s) - computer science , feature (linguistics) , extension (predicate logic) , modal , programming language , algorithm , real time computing , philosophy , linguistics , chemistry , polymer chemistry
In this paper we report on an application and extension of the theory of Timed Modal Specifications (TMS) and its associated verification tool E PSILON . The novel feature with which E PSILON has been extended is the ability to automatically generate diagnostic information in cases of erroneous refinement steps.