Alloy: A new technology for software modelling

MaRDI QIDQ4472224zbMATH OpenFDO

Authors Daniel Jackson

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2280/22800020.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Alloy: A logical modelling language
• Systems and software verification. Model-checking techniques and tools
• Towards a small model theorem for data independent systems in Alloy
• An approach to combining B and Alloy
• On the Use of Alloy to Analyze Graph Transformation Systems

Cited in

(5)

• Alloy
• Towards a small model theorem for data independent systems in Alloy
• Alloy: A logical modelling language
• VAlloy -- virtual functions meet a relational language
• Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API

Describes a project that uses

Uses Software

• Uppaal
• Chaff
• BerkMin
• CMC

This page was built for publication: Alloy: A new technology for software modelling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472224)