Open AccessAutomatic Verification of Real-Timed Systems Using EPSILON
Author(s) -
Jens Chr. Godskesen,
Kim G. 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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom