The following pages link to Alloy (Q13987):
Displaying 25 items.
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (Q617917) (← links)
- Policy analysis for administrative role-based access control (Q655414) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- A set solver for finite set relation algebra (Q1617837) (← links)
- Finding models through graph saturation (Q1785854) (← links)
- CompoSAT: specification-guided coverage for model finding (Q2024373) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- A taxonomy of exact methods for partial Max-SAT (Q2434567) (← links)
- Generating effective symmetry-breaking predicates for search problems (Q2643299) (← links)
- (Q2741511) (← links)
- A Static Semantics for Alloy and its Impact in Refactorings (Q2870336) (← links)
- A Logical Approach to Data-Aware Automated Sequence Generation (Q2889859) (← links)
- A Proof Assistant for Alloy Specifications (Q2894289) (← links)
- Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (Q2918986) (← links)
- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (Q2947219) (← links)
- From Core OCL Invariants to Nested Graph Constraints (Q3192227) (← links)
- (Q4436952) (← links)
- Adding partial functions to Constraint Logic Programming with sets (Q4593005) (← links)
- Model-Checking View-Based Partial Specifications (Q4917056) (← links)
- Generating Instance Models from Meta Models (Q4989489) (← links)
- (Q5057637) (← links)
- Automatically comparing memory consistency models (Q5370855) (← links)
- Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars (Q5404177) (← links)
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications (Q5758135) (← links)
