Alloy
From MaRDI portal
Cited in
(60)- A set solver for finite set relation algebra
- QingTing1
- JACK
- Finding models through graph saturation
- CZT
- TestEra
- TACO
- csp2B
- CompoSAT: specification-guided coverage for model finding
- Alcoa
- Jerusat
- UML2Alloy
- Kelloy
- JKelloy
- Athena
- SelfSync
- Kermeta
- Henshin
- Z/EVES
- ArgoUML
- Solving quantifier-free first-order constraints over finite sets and binary relations
- UMLtoCSP
- FDR2
- A taxonomy of exact methods for partial Max-SAT
- Generating effective symmetry-breaking predicates for search problems
- Generating effective symmetry-breaking predicates for search problems
- ProBE
- A static semantics for Alloy and its impact in refactorings
- A logical approach to data-aware automated sequence generation
- A proof assistant for Alloy specifications
- Towards automatic verification of behavior preservation for model transformation via invariant checking
- Translating essential OCL invariants to nested graph constraints focusing on set operations
- From Core OCL invariants to nested graph constraints
- SReach
- Alloy*
- Ampersand
- scientific article; zbMATH DE number 2013571 (Why is no real title available?)
- CRN++
- GemStone
- Adding partial functions to constraint logic programming with sets
- Model-checking view-based partial specifications
- Generating instance models from meta models
- scientific article; zbMATH DE number 7633799 (Why is no real title available?)
- SETL
- Automatically comparing memory consistency models
- Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars
- CompoSAT
- CD2Alloy
- cddiff
- Bordeaux
- Whispec
- VERMEER
- WhyLine
- DynAlloy
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
- HeteroGenius
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
- Policy analysis for administrative role-based access control
- The behavioural semantics of Event-B refinement
- An algebraic semantics for MOF
This page was built for software: Alloy
