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
Collections
Source
Proceedings of NASA Formal Methods Symposium 2011
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description