AlloyInEcore
Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Home
View on GitHub
Tarski Platform
ITEA-ASSUME Project
Releases
MagicDraw Integration
AlloyInEcore is currently our backend solver on MagicDraw to reason about SysML traces.