Alloy

swMATH1247MaRDI QIDQ13987FDOQ13987

Author name not available (Why is that?)

Cited In (25)

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

This page was built for software: Alloy