Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

The Theory and Practice of SALT

Request a Copy

link to publisher version

  • Altmetric Citations

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
Show full item record


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

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator