Constrained Symbolic Simulation with Mathematica and ACL2. - Ghiath Al Sammane; Diana Toma; Julien Schmaltz; Pierre Ostier; Dominique Borrione (CHARME, 2003)

TheoSim: combining symbolic simulation and theorem proving for hardware verification. - Ghiath Al Sammane; Julien Schmaltz; Diana Toma; Pierre Ostier; Dominique Borrione (SBCCI, 2004)