Skip navigation
Skip navigation

The Theory and Practice of SALT

Bauer, Andreas; Leucker, Martin


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,

CollectionsANU Research Publications
Date published: 2011
Type: Conference paper
Source: Proceedings of NASA Formal Methods Symposium 2011
DOI: 10.1007/978-3-642-20398-5_3


File Description SizeFormat Image
01_Bauer_The_Theory_and_Practice_of_2011.pdf378.37 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator