The Theory and Practice of SALT

Simple item page
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.date.issued2011
dc.date.updated2016-02-24T11:29:49Z
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.identifier.urihttp://hdl.handle.net/1885/35352
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.bibliographicCitation.startpage28
local.contributor.affiliationBauer, Andreas, College of Engineering and Computer Science, ANU
local.contributor.affiliationLeucker, Martin, Technische Universitat Munchen
local.contributor.authoremailu4492070@anu.edu.au
local.contributor.authoruidBauer, Andreas, u4492070
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080309 - Software Engineering
local.identifier.absseo890299 - Computer Software and Services not elsewhere classified
local.identifier.ariespublicationu4963866xPUB123
local.identifier.doi10.1007/978-3-642-20398-5_3
local.identifier.scopusID2-s2.0-79955041493
local.identifier.uidSubmittedByu4963866
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
01_Bauer_The_Theory_and_Practice_of_2011.pdf
Size:
378.37 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS