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,

dc.contributor.authorBauer, Andreas
dc.contributor.authorLeucker, Martin
dc.coverage.spatialPasadena USA
dc.date.accessioned2015-12-08T22:36:41Z
dc.date.createdApril 18-20 2011
dc.identifier.urihttp://hdl.handle.net/1885/35352
dc.description.abstractSalt 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,
dc.publisherSpringer
dc.relation.ispartofseriesNASA Formal Methods Symposium 2011
dc.sourceProceedings of NASA Formal Methods Symposium 2011
dc.subjectKeywords: 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
dc.titleThe Theory and Practice of SALT
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2011
local.identifier.absfor080309 - Software Engineering
local.identifier.ariespublicationu4963866xPUB123
local.type.statusPublished Version
local.contributor.affiliationBauer, Andreas, College of Engineering and Computer Science, ANU
local.contributor.affiliationLeucker, Martin, Technische Universitat Munchen
local.description.embargo2037-12-31
local.bibliographicCitation.startpage28
local.identifier.doi10.1007/978-3-642-20398-5_3
local.identifier.absseo890299 - Computer Software and Services not elsewhere classified
dc.date.updated2016-02-24T11:29:49Z
local.identifier.scopusID2-s2.0-79955041493
CollectionsANU Research Publications

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:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator