Trace Specifications in Alloy

Jeremy L. Jacob

Trace Specifications in Alloy

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Safety properties Of a system may be specified by constraining the sequences of interactions of the system with its environment. This paper shows how to encode specifications in such a style using Alloy.

Original language	English
Title of host publication	ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS
Editors	M Frappier, U Glasser, S Khurshid, R Laleau, S Reeves
Place of Publication	BERLIN
Publisher	Springer
Pages	105-117
Number of pages	13
Volume	5977 LNCS
ISBN (Print)	978-3-642-11810-4
Publication status	Published - 2010
Event	2nd International Conference on Abstract State Machines, B and Z - Orford Duration: 22 Feb 2010 → 25 Feb 2010

Conference

Conference	2nd International Conference on Abstract State Machines, B and Z
City	Orford
Period	22/02/10 → 25/02/10

Cite this

@inproceedings{5c6fa87164fc4de5857a0b95f032dd77,

title = "Trace Specifications in Alloy",

abstract = "Safety properties Of a system may be specified by constraining the sequences of interactions of the system with its environment. This paper shows how to encode specifications in such a style using Alloy.",

author = "Jacob, {Jeremy L.}",

year = "2010",

language = "English",

isbn = "978-3-642-11810-4",

volume = "5977 LNCS",

pages = "105--117",

editor = "M Frappier and U Glasser and S Khurshid and R Laleau and S Reeves",

booktitle = "ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS",

publisher = "Springer",

address = "Germany",

note = "2nd International Conference on Abstract State Machines, B and Z ; Conference date: 22-02-2010 Through 25-02-2010",

}

TY - GEN

T1 - Trace Specifications in Alloy

AU - Jacob, Jeremy L.

PY - 2010

Y1 - 2010

N2 - Safety properties Of a system may be specified by constraining the sequences of interactions of the system with its environment. This paper shows how to encode specifications in such a style using Alloy.

AB - Safety properties Of a system may be specified by constraining the sequences of interactions of the system with its environment. This paper shows how to encode specifications in such a style using Alloy.

UR - http://www.scopus.com/inward/record.url?scp=77950827340&partnerID=8YFLogxK

M3 - Conference contribution

SN - 978-3-642-11810-4

VL - 5977 LNCS

SP - 105

EP - 117

BT - ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS

A2 - Frappier, M

A2 - Glasser, U

A2 - Khurshid, S

A2 - Laleau, R

A2 - Reeves, S

PB - Springer

CY - BERLIN

T2 - 2nd International Conference on Abstract State Machines, B and Z

Y2 - 22 February 2010 through 25 February 2010

ER -

Trace Specifications in Alloy

Abstract

Conference

Other files and links

Cite this