Name: César Rodríguez
Type: User
Company: Cadence & University Paris 13, Sorbonne Paris Cité
Bio: I develop automated program analysis techniques for formal verification, bug finding, and test generation.
Location: Oxford, UK
Blog: http://lipn.univ-paris13.fr/~rodriguez/
César Rodríguez's Projects
C Bounded Model Checker
A model checker for safe Petri nets based on partial-order semantics
Preparing the Cunf Tool to participate in the Model Checking Contest 2014
Scripts to run Cunf in the MCC 2015
Dynamic analysis of multithreaded C programs
Replicability Package for the DPU experiments in our CAV'18 paper
Inverse Method based on Partial Orders
The Petri Net swiss army knife.
POD is a research tool to perform partial-order based process discovery
A library for dynamic analysis of multithreaded POSIX C programs