Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems

2016 ◽  
Author(s):  
Kim Guldstrand Larsen
Keyword(s):  
Performance Analysis ◽  
Automatic Verification ◽  
Timed Systems

scholarly journals Automatic Verification of Real-Timed Systems Using EPSILON

1994 ◽  
Vol 1 (19) ◽  
Author(s):  
Jens Chr. Godskesen ◽  
Kim G. Larsen ◽  
Arne Skou
Keyword(s):  
Diagnostic Information ◽  
Automatic Verification ◽  
The Novel ◽  
Timed Systems ◽  
Verification Tool

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

Sign in / Sign up

Export Citation Format

Share Document