GitHub topics: kodkod
ModelWriter/AlloyInEcore
Embedding of First-Order Relational Logic into Meta-Object Facility
Language: Java - Size: 135 MB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 1
ModelWriter/WP3
A Platform for Automated Analysis of Traceability (WP3)
Language: Java - Size: 178 MB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 1
ModelWriter/Tarski
A Platform for Automated Analysis of Traceability (WP3)
Language: Java - Size: 200 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 8 - Forks: 1