Giters
César Rodríguez (cesaro)

cesaro

Geek Repo

18

followers

2

following

6

stars

Company:Cadence & University Paris 13, Sorbonne Paris Cité

Location:Oxford, UK

Home Page:http://lipn.univ-paris13.fr/~rodriguez/

Github PK Tool:Github PK Tool

Organizations
uah-srg-tech

César Rodríguez's repositories

cunf

A model checker for safe Petri nets based on partial-order semantics

Language:C++License:GPL-3.0Stargazers:13Issues:1Issues:3

dpu

Dynamic analysis of multithreaded C programs

Language:CLicense:GPL-2.0Stargazers:11Issues:4Issues:0

pod

POD is a research tool to perform partial-order based process discovery

Language:PythonLicense:GPL-3.0Stargazers:2Issues:3Issues:0

steroids

A library for dynamic analysis of multithreaded POSIX C programs

Language:C++License:GPL-2.0Stargazers:1Issues:3Issues:0

cbmc

C Bounded Model Checker

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

cunf-mcc2014

Preparing the Cunf Tool to participate in the Model Checking Contest 2014

Language:C++License:GPL-2.0Stargazers:0Issues:1Issues:0

cunf-mcc2015

Scripts to run Cunf in the MCC 2015

Language:C++License:GPL-2.0Stargazers:0Issues:1Issues:0

dpu-cav18-exp

Replicability Package for the DPU experiments in our CAV'18 paper

Language:HTMLLicense:GPL-3.0Stargazers:0Issues:3Issues:0

impo

Inverse Method based on Partial Orders

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0

pncat

The Petri Net swiss army knife.

Language:PythonLicense:GPL-2.0Stargazers:0Issues:1Issues:0

por-experiments

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0