User: Guest  Login
Title:

SALT-Structured Assertion Language for Temporal Logic

Document type:
Technical Report
Author(s):
Andreas Bauer, Martin Leucker, Jonathan Streit
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...     »
Year:
2006
Year / month:
2006-03-01 00:00:00
Pages:
16
 BibTeX