Repositories list

• Workshops

  Public
  Repository dedicated to workshops

  Eclipse Public License 1.0

  •11 fork•00 stars•00 issues•11 pull request•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

  •1212 forks•11 star•00 issues•00 pull requests•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

  •2727 forks•00 stars•00 issues•00 pull requests•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

  •11 fork•44 stars•00 issues•00 pull requests•Updated Apr 30, 2019Apr 30, 2019

• smtlib-tool

  Public
  Eclipse-based SMTLIB Editor

  eclipsesmtlibsmtlibv2+ 2

  eclipsesmtlibsmtlibv2editor-pluginsmt

  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 17, 2019Mar 17, 2019

• alloy-models

  Public
  Like the name. Contains various Alloy models

  Alloy

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 20, 2019Feb 20, 2019

• SAT_SMT_by_example

  Public
  "SAT/SMT by example" free ebook

  Mathematica

  •3636 forks•00 stars•00 issues•00 pull requests•Updated Feb 7, 2019Feb 7, 2019

• Demonstrations

  Public
  Projects for demonstrations

  Java

  •

  Eclipse Public License 1.0

  •00 forks•00 stars•22 issues•00 pull requests•Updated Dec 18, 2018Dec 18, 2018

• klee

  Public
  KLEE Symbolic Execution Engine

  C++

  •

  Other

  •722722 forks•00 stars•00 issues•00 pull requests•Updated Nov 28, 2018Nov 28, 2018

• alloy-mode

  Public
  Emacs major mode for Alloy

  Emacs Lisp

  •

  GNU General Public License v2.0

  •1212 forks•00 stars•00 issues•00 pull requests•Updated Jul 14, 2018Jul 14, 2018

• DeAL

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

  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Jun 22, 2018Jun 22, 2018

• Ditto

  Public
  Fork of Ditto Project

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 17, 2018Jun 17, 2018

• static-java

  Public
  Java

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 20, 2018May 20, 2018

• z3-1

  Public
  The Z3 Theorem Prover

  C++

  •

  Other

  •1.6k1.6k forks•00 stars•00 issues•00 pull requests•Updated Mar 31, 2018Mar 31, 2018

• oslc-adapter-magicdraw-sysml

  Public
  Java-based Implementation of OSLC MagicDraw SysML Adapter

  Java

  •77 forks•00 stars•00 issues•00 pull requests•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

  •11 fork•99 stars•00 issues•00 pull requests•Updated Dec 23, 2017Dec 23, 2017

• vampire

  Public
  C++

  •

  Other

  •7070 forks•00 stars•00 issues•00 pull requests•Updated Dec 13, 2017Dec 13, 2017

• oslc-adapter-simulink

  Public
  Java-based Implementation of OSLC Simulink Adapter

  Java

  •44 forks•00 stars•00 issues•00 pull requests•Updated Nov 8, 2017Nov 8, 2017

• ase17tutorial

  Public
  OpenEdge ABL

  •33 forks•00 stars•00 issues•00 pull requests•Updated Oct 31, 2017Oct 31, 2017

• Deliverables

  Public
  Project Monitoring, Tracking, Communication Management and Infrastructure

  Lex

  •

  Eclipse Public License 1.0

  •00 forks•22 stars•2626 issues•00 pull requests•Updated Sep 26, 2017Sep 26, 2017

• Source

  Public
  Federated Source Code Repository of ModelWriter project

  Java

  •

  Eclipse Public License 1.0

  •11 fork•22 stars•66 issues•00 pull requests•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

  •00 forks•00 stars•00 issues•00 pull requests•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

  •11 fork•33 stars•5555 issues•00 pull requests•Updated Jun 12, 2017Jun 12, 2017

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

  Public
  The Definition of Standard ML, Revised (1997)

  TeX

  •1313 forks•00 stars•00 issues•00 pull requests•Updated May 13, 2017May 13, 2017

• WP7

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

  Eclipse Public License 1.0

  •00 forks•00 stars•33 issues•00 pull requests•Updated Jan 26, 2017Jan 26, 2017

• WP5

  Public
  Work Package 5 - Project Management (UNIT)

  CSS

  •

  Eclipse Public License 1.0

  •00 forks•00 stars•1919 issues•00 pull requests•Updated Nov 15, 2016Nov 15, 2016

• WP1

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

  Eclipse Public License 1.0

  •00 forks•00 stars•77 issues•00 pull requests•Updated Nov 14, 2016Nov 14, 2016

• Releases

  Public
  Releases of ModelWriter project

  Eclipse Public License 1.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 1, 2016Apr 1, 2016

• modelwriter.github.io

  Public
  Project Site (www.modelwriter.eu)

  CSS

  •

  Eclipse Public License 1.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 26, 2015Dec 26, 2015

• WP6

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

  Java

  •

  Eclipse Public License 1.0

  •11 fork•00 stars•88 issues•00 pull requests•Updated Sep 24, 2015Sep 24, 2015