Towards a small model theorem for data independent systems in Alloy

MaRDI QIDQ2848413zbMATH OpenFDO

Authors Lee Momtahan

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002355

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 2080037
• scientific article; zbMATH DE number 2013571
• Using the Alloy analyzer to verify data refinement in Z
• A proof assistant for Alloy specifications
• Bounded Relational Analysis of Free Data Types

Cited in

(5)

• Monotonicity inference for higher-order formulas
• Monotonicity inference for higher-order formulas
• Decidable fragments of many-sorted logic
• Bounded Relational Analysis of Free Data Types
• scientific article; zbMATH DE number 2080037 (Why is no real title available?)

This page was built for publication: Towards a small model theorem for data independent systems in Alloy

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