cesaro
I develop automated program analysis techniques for formal verification, bug finding, and test generation.
Cadence & University Paris 13, Sorbonne Paris CitéOxford, UK
Pinned Repositories
cbmc
C Bounded Model Checker
cunf
A model checker for safe Petri nets based on partial-order semantics
cunf-mcc2014
Preparing the Cunf Tool to participate in the Model Checking Contest 2014
cunf-mcc2015
Scripts to run Cunf in the MCC 2015
dpu
Dynamic analysis of multithreaded C programs
dpu-cav18-exp
Replicability Package for the DPU experiments in our CAV'18 paper
impo
Inverse Method based on Partial Orders
pncat
The Petri Net swiss army knife.
pod
POD is a research tool to perform partial-order based process discovery
steroids
A library for dynamic analysis of multithreaded POSIX C programs
cesaro's Repositories
cesaro/cunf
A model checker for safe Petri nets based on partial-order semantics
cesaro/dpu
Dynamic analysis of multithreaded C programs
cesaro/pod
POD is a research tool to perform partial-order based process discovery
cesaro/steroids
A library for dynamic analysis of multithreaded POSIX C programs
cesaro/cbmc
C Bounded Model Checker
cesaro/cunf-mcc2014
Preparing the Cunf Tool to participate in the Model Checking Contest 2014
cesaro/cunf-mcc2015
Scripts to run Cunf in the MCC 2015
cesaro/dpu-cav18-exp
Replicability Package for the DPU experiments in our CAV'18 paper
cesaro/impo
Inverse Method based on Partial Orders
cesaro/pncat
The Petri Net swiss army knife.
cesaro/por-experiments