The Theory and Practice of SALT

Date

2011

Authors

Bauer, Andreas
Leucker, Martin

Journal Title

Journal ISSN

Volume Title

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,

Description

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

Citation

Source

Proceedings of NASA Formal Methods Symposium 2011

Type

Conference paper

Book Title

Entity type

Access Statement

License Rights

Restricted until

2037-12-31