Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Andreas Bauer, Martin Leucker, Jonathan Streit 
Titel:
SALT-Structured Assertion Language for Temporal Logic 
Abstract:
This paper presents Salt. \\Salt is a general purpose specification and assertion language developed for creating concise temporal specifications to be used in industrial verification environments. \\It incorporates ideas of existing approaches, such as specfiication patterns, but also provides nested scopes, exceptions, support for regular expressions and real-time. \\The latter is needed in particular for verification tasks to do with reactive systems imposing strict execution times and deadli...    »
 
Jahr:
2006 
Jahr / Monat:
2006-03-01 00:00:00 
Seiten/Umfang:
16