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