The Theory and Practice of SALT

Date

Authors

Bauer, Andreas

Leucker, Martin

Publisher

Springer

Abstract

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 PSL or Specification Patterns,

Keywords

Keywords: Assertion language; Execution time; General purpose; Practical use; Reactive system; Real-time operators; Real-time properties; Regular expressions; Run-time verification; Specification patterns; Temporal specification; Test drive; Theoretical foundations

URI

http://hdl.handle.net/1885/35352

Collections

ANU Research Publications

Source

Proceedings of NASA Formal Methods Symposium 2011

Type

Conference paper

DOI

10.1007/978-3-642-20398-5_3

Restricted until

2037-12-31

Downloads

File

Description

01_Bauer_The_Theory_and_Practice_of_2011.pdf (378.37 KB)