Repositories list

• Workshops

  Public
  Repository dedicated to workshops

  Eclipse Public License 1.0

  •1•0•0•1•Updated Jun 23, 2020Jun 23, 2020

• smtlib-mode

  Public
  An Emacs major mode to edit and run SMTLIB v2 files

  Emacs Lisp

  •

  GNU General Public License v3.0

  •12•1•0•0•Updated Mar 7, 2020Mar 7, 2020

• kodkodz

  Public
  A fork of Kodkod solver with Z3 Theorem Prover back-end for Relational Logic

  Java

  •

  MIT License

  •27•0•0•0•Updated May 8, 2019May 8, 2019

• AlloyInEcore

  Public
  Embedding of First-Order Relational Logic into Meta-Object Facility

  umlz3alloy+ 6

  umlz3alloyecoreecore-metamodelkodkodmodel-driven-engineeringautomated-reasoningmof

  Java

  •

  MIT License

  •1•4•0•0•Updated Apr 30, 2019Apr 30, 2019

• smtlib-tool

  Public
  Eclipse-based SMTLIB Editor

  eclipsesmtlibsmtlibv2+ 2

  eclipsesmtlibsmtlibv2editor-pluginsmt

  Python

  •

  MIT License

  •0•0•0•0•Updated Mar 17, 2019Mar 17, 2019

• alloy-models

  Public
  Like the name. Contains various Alloy models

  Alloy

  •

  MIT License

  •0•0•0•0•Updated Feb 20, 2019Feb 20, 2019

• SAT_SMT_by_example

  Public
  "SAT/SMT by example" free ebook

  Mathematica

  •36•0•0•0•Updated Feb 7, 2019Feb 7, 2019

• Demonstrations

  Public
  Projects for demonstrations

  Java

  •

  Eclipse Public License 1.0

  •0•0•2•0•Updated Dec 18, 2018Dec 18, 2018

• klee

  Public
  KLEE Symbolic Execution Engine

  C++

  •

  Other

  •715•0•0•0•Updated Nov 28, 2018Nov 28, 2018

• alloy-mode

  Public
  Emacs major mode for Alloy

  Emacs Lisp

  •

  GNU General Public License v2.0

  •12•0•0•0•Updated Jul 14, 2018Jul 14, 2018

• DeAL

  Public
  Successful built of DeAL (GC Assertions) on x86_64-linux

  Java

  •0•1•0•0•Updated Jun 22, 2018Jun 22, 2018

• Ditto

  Public
  Fork of Ditto Project

  Java

  •0•0•0•0•Updated Jun 17, 2018Jun 17, 2018

• static-java

  Public
  Java

  •

  MIT License

  •0•0•0•0•Updated May 20, 2018May 20, 2018

• z3-1

  Public
  The Z3 Theorem Prover

  C++

  •

  Other

  •1.6k•0•0•0•Updated Mar 31, 2018Mar 31, 2018

• oslc-adapter-magicdraw-sysml

  Public
  Java-based Implementation of OSLC MagicDraw SysML Adapter

  Java

  •7•0•0•0•Updated Mar 27, 2018Mar 27, 2018

• Tarski

  Public
  A Platform for Automated Analysis of Traceability (WP3)

  alloysmttraceability+ 3

  alloysmttraceabilitykodkodautomated-reasoningformal-trace-semantics

  Java

  •

  Eclipse Public License 1.0

  •1•9•0•0•Updated Dec 23, 2017Dec 23, 2017

• vampire

  Public
  C++

  •

  Other

  •70•0•0•0•Updated Dec 13, 2017Dec 13, 2017

• oslc-adapter-simulink

  Public
  Java-based Implementation of OSLC Simulink Adapter

  Java

  •4•0•0•0•Updated Nov 8, 2017Nov 8, 2017

• ase17tutorial

  Public
  OpenEdge ABL

  •3•0•0•0•Updated Oct 31, 2017Oct 31, 2017

• Deliverables

  Public
  Project Monitoring, Tracking, Communication Management and Infrastructure

  Lex

  •

  Eclipse Public License 1.0

  •0•2•26•0•Updated Sep 26, 2017Sep 26, 2017

• Source

  Public
  Federated Source Code Repository of ModelWriter project

  Java

  •

  Eclipse Public License 1.0

  •1•2•6•0•Updated Sep 18, 2017Sep 18, 2017

• SemanticParser

  Public
  Work Package 2 - Semantic Parsing and Generation of Documents and Documents Components (LORIA)

  Java

  •

  Eclipse Public License 1.0

  •0•0•0•0•Updated Jul 2, 2017Jul 2, 2017

• WP3

  Public
  A Platform for Automated Analysis of Traceability (WP3)

  emfverificationalloy+ 4

  emfverificationalloyautomated-analysistraceabilitykodkodz

  Java

  •

  Eclipse Public License 1.0

  •1•3•55•0•Updated Jun 12, 2017Jun 12, 2017

• The-Definition-of-Standard-ML-Revised

  Public
  The Definition of Standard ML, Revised (1997)

  TeX

  •13•0•0•0•Updated May 13, 2017May 13, 2017

• WP7

  Public
  Work Package 7 - Standardization, Dissemination and Exploitation (Obeo)

  Eclipse Public License 1.0

  •0•0•3•0•Updated Jan 26, 2017Jan 26, 2017

• WP5

  Public
  Work Package 5 - Project Management (UNIT)

  CSS

  •

  Eclipse Public License 1.0

  •0•0•19•0•Updated Nov 15, 2016Nov 15, 2016

• WP1

  Public
  Work Package 1 - Industrial Use Cases and Requirements (AIRBUS)

  Eclipse Public License 1.0

  •0•0•7•0•Updated Nov 14, 2016Nov 14, 2016

• Releases

  Public
  Releases of ModelWriter project

  Eclipse Public License 1.0

  •0•0•0•0•Updated Apr 1, 2016Apr 1, 2016

• modelwriter.github.io

  Public
  Project Site (www.modelwriter.eu)

  CSS

  •

  Eclipse Public License 1.0

  •0•0•0•0•Updated Dec 26, 2015Dec 26, 2015

• WP6

  Public
  Work Package 6 - ModelWriter Architecture, Integration and Evaluation (Obeo)

  Java

  •

  Eclipse Public License 1.0

  •1•0•8•0•Updated Sep 24, 2015Sep 24, 2015