@cosyverif

CosyVerif

Extensible Modeling and Verification Platform

  • Packager for various distros

    PHP 2 3 MIT Updated Aug 27, 2017
  • MIT Updated Mar 30, 2017
  • Standard Formalisms Library for CosyVerif

    5 MIT Updated Feb 7, 2017
  • MIT Updated Dec 8, 2016
  • Lua MIT Updated Dec 7, 2016
  • JavaScript MIT Updated Dec 6, 2016
  • 2 MIT Updated Dec 6, 2016
  • Instatiation of cosyverif platform

    Lua MIT Updated Dec 6, 2016
  • Dockerfiles for various containers

    Shell MIT Updated Nov 23, 2016
  • CosyVerif website

    Updated Nov 15, 2016
  • Tutoriels, questions and answers for developers.

    MIT Updated Sep 14, 2016
  • PNML import from / export to Cosy

    MIT Updated Aug 30, 2016
  • Lua 6 MIT Updated May 23, 2016
  • Build environment for CosyVerif

    Shell 1 MIT Updated May 23, 2016
  • Simple tool for CosyVerif that counts the number of vertices and edges in a graph.

    2 MIT Updated Feb 26, 2016
  • Continuous Integration for CosyVerif

    Lua MIT Updated Dec 17, 2015
  • Steering Comitee Reports and Actions

    Updated Nov 5, 2015
  • Interships linked to CosyVerif

    Updated Oct 29, 2015
  • PHP MIT Updated Nov 28, 2014
  • PHP MIT Updated Oct 3, 2014
  • Lua MIT Updated Oct 3, 2014
  • Demonstrator for CosyVerif

    JavaScript Updated Oct 2, 2014
  • Shell MIT Updated Sep 8, 2014
  • TeX MIT Updated Sep 3, 2014
  • Base for Tool integration in CosyVerif

    Shell 1 MIT Updated Aug 12, 2014
  • C Updated Jun 17, 2014
  • C++ Updated Jun 2, 2014
  • C++ Updated May 22, 2014
  • Updated May 19, 2014
  • Top languages

    Loading…

    Most used topics

    Loading…

    0

    People

    This organization has no public members. You must be a member to see who’s a part of this organization.