swMATH1247MaRDI QIDQ13987FDOQ13987
Author name not available (Why is that?)
Official website: http://alloy.mit.edu/alloy/
Cited In (60)
- 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
- QingTing1
- JACK
- CZT
- TestEra
- csp2B
- TACO
- Alcoa
- Jerusat
- Athena
- JKelloy
- Kelloy
- Henshin
- Kermeta
- SelfSync
- UML2Alloy
- ArgoUML
- Z/EVES
- FDR2
- Generating effective symmetry-breaking predicates for search problems
- UMLtoCSP
- ProBE
- Alloy*
- Ampersand
- SReach
- CRN++
- GemStone
- SETL
- Bordeaux
- CD2Alloy
- cddiff
- CompoSAT
- VERMEER
- Whispec
- WhyLine
- DynAlloy
- 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
- HeteroGenius
- Generating effective symmetry-breaking predicates for search problems
This page was built for software: Alloy
