Skip navigation
Skip navigation

The Theory and Practice of SALT

Bauer, Andreas; Leucker, Martin

Description

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
URI: http://hdl.handle.net/1885/35352
Source: Proceedings of NASA Formal Methods Symposium 2011
DOI: 10.1007/978-3-642-20398-5_3

Download

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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator