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
• Translating essential OCL invariants to nested graph constraints focusing on set operations
• 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
• Model-checking view-based partial specifications
• Towards automatic verification of behavior preservation for model transformation via invariant checking
• From Core OCL invariants to nested graph constraints
• Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars
• Title not available (Why is that?)
• 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
• Generating effective symmetry-breaking predicates for search problems
• The behavioural semantics of Event-B refinement
• Generating instance models from meta models
• Adding partial functions to constraint logic programming with sets
• Policy analysis for administrative role-based access control
• A logical approach to data-aware automated sequence generation
• A proof assistant for Alloy specifications
• Finding models through graph saturation
• Generating effective symmetry-breaking predicates for search problems

This page was built for software: Alloy