Pierre Ostier

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Publications

Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione
TheoSim: combining symbolic simulation and theorem proving for hardware verification. SBCCI (2004)
Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione
Constrained Symbolic Simulation with Mathematica and ACL2. CHARME (2003)