Alloy
From MaRDI portal
Software:13987
No author found.
Related Items (25)
A set solver for finite set relation algebra ⋮ A Logical Approach to Data-Aware Automated Sequence Generation ⋮ A Proof Assistant for Alloy Specifications ⋮ Generating effective symmetry-breaking predicates for search problems ⋮ Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking ⋮ From Core OCL Invariants to Nested Graph Constraints ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations ⋮ Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API ⋮ Adding partial functions to Constraint Logic Programming with sets ⋮ A taxonomy of exact methods for partial Max-SAT ⋮ Automatically comparing memory consistency models ⋮ Policy analysis for administrative role-based access control ⋮ Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars ⋮ Unnamed Item ⋮ Model-Checking View-Based Partial Specifications ⋮ An algebraic semantics for MOF ⋮ CompoSAT: specification-guided coverage for model finding ⋮ Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications ⋮ Finding models through graph saturation ⋮ The behavioural semantics of Event-B refinement ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ Generating Instance Models from Meta Models ⋮ A Static Semantics for Alloy and its Impact in Refactorings
This page was built for software: Alloy
