Alloy: A logical modelling language

MaRDI QIDQ4436952zbMATH OpenFDO

Authors Daniel Jackson

Publication date 4 December 2003

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Alloy: A new technology for software modelling
• Algebraic semantics of the modeling language AML
• Modular action language \(\mathcal{ALM}\)
• An algebraic model for programming languages
• A Model Transformation Language Based on Logic Programming
• scientific article; zbMATH DE number 2242590

Cited in

(9)

• Solving quantifier-free first-order constraints over finite sets and binary relations
• Towards a small model theorem for data independent systems in Alloy
• A proof assistant for Alloy specifications
• On the Use of Alloy to Analyze Graph Transformation Systems
• Alloy: A new technology for software modelling
• Adding partial functions to constraint logic programming with sets
• VAlloy -- virtual functions meet a relational language
• Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
• The design of the zinc modelling language

Describes a project that uses

Uses Software

• Alloy

This page was built for publication: Alloy: A logical modelling language

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