Trace specifications in alloy

Authors:
Jeremy L. Jacob
Affiliations:
University of York
Venue:
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Year:
2010

Citing 2
Cited 1

Communicating sequential processes

Communicating sequential processes
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis

Specifying a testing oracle for train stations --- going beyond with product line technology

MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.