Pinned Repositories
AlloyInEcore
Embedding of First-Order Relational Logic into Meta-Object Facility
DeAL
Successful built of DeAL (GC Assertions) on x86_64-linux
Deliverables
Project Monitoring, Tracking, Communication Management and Infrastructure
Demonstrations
Projects for demonstrations
kodkodz
A fork of Kodkod solver with Z3 Theorem Prover back-end for Relational Logic
Requirements
User Requirements Document (URD) and Software Requirements Document (SRD)
smtlib-tool
Eclipse-based SMTLIB Editor
Source
Federated Source Code Repository of ModelWriter project
Tarski
A Platform for Automated Analysis of Traceability (WP3)
WP3
A Platform for Automated Analysis of Traceability (WP3)
ITEA-ModelWriter Project's Repositories
ModelWriter/Tarski
A Platform for Automated Analysis of Traceability (WP3)
ModelWriter/WP3
A Platform for Automated Analysis of Traceability (WP3)
ModelWriter/AlloyInEcore
Embedding of First-Order Relational Logic into Meta-Object Facility
ModelWriter/Deliverables
Project Monitoring, Tracking, Communication Management and Infrastructure
ModelWriter/Source
Federated Source Code Repository of ModelWriter project
ModelWriter/DeAL
Successful built of DeAL (GC Assertions) on x86_64-linux
ModelWriter/smtlib-mode
An Emacs major mode to edit and run SMTLIB v2 files
ModelWriter/Demonstrations
Projects for demonstrations
ModelWriter/kodkodz
A fork of Kodkod solver with Z3 Theorem Prover back-end for Relational Logic
ModelWriter/smtlib-tool
Eclipse-based SMTLIB Editor
ModelWriter/Workshops
Repository dedicated to workshops
ModelWriter/WP1
Work Package 1 - Industrial Use Cases and Requirements (AIRBUS)
ModelWriter/WP5
Work Package 5 - Project Management (UNIT)
ModelWriter/WP6
Work Package 6 - ModelWriter Architecture, Integration and Evaluation (Obeo)
ModelWriter/WP7
Work Package 7 - Standardization, Dissemination and Exploitation (Obeo)
ModelWriter/alloy-mode
Emacs major mode for Alloy
ModelWriter/alloy-models
Like the name. Contains various Alloy models
ModelWriter/ase17tutorial
ModelWriter/Ditto
Fork of Ditto Project
ModelWriter/klee
KLEE Symbolic Execution Engine
ModelWriter/modelwriter.github.io
Project Site (www.modelwriter.eu)
ModelWriter/oslc-adapter-magicdraw-sysml
Java-based Implementation of OSLC MagicDraw SysML Adapter
ModelWriter/oslc-adapter-simulink
Java-based Implementation of OSLC Simulink Adapter
ModelWriter/Releases
Releases of ModelWriter project
ModelWriter/SAT_SMT_by_example
"SAT/SMT by example" free ebook
ModelWriter/SemanticParser
Work Package 2 - Semantic Parsing and Generation of Documents and Documents Components (LORIA)
ModelWriter/static-java
ModelWriter/The-Definition-of-Standard-ML-Revised
The Definition of Standard ML, Revised (1997)
ModelWriter/vampire
ModelWriter/z3-1
The Z3 Theorem Prover