 | 2009 |
|---|
| 7 |       | Jean-François Couchot,
Alain Giorgetti,
Nicolas Stouls:
Graph Based Reduction of Program Verification Conditions
CoRR abs/0907.1357: (2009) |
| 2007 |
|---|
| 6 | | Fabrice Bouquet,
Jean-François Couchot,
Frédéric Dadeau,
Alain Giorgetti:
Instantiation of Parameterized Data Structures for Model-Based Testing.
B 2007: 94-108 |
| 5 | | Jean-François Couchot,
Stéphane Lescuyer:
Handling Polymorphism in Automated Deduction.
CADE 2007: 263-278 |
| 4 | | Jean-François Couchot,
Frédéric Dadeau:
Guiding the Correction of Parameterized Specifications.
IFM 2007: 176-194 |
| 2005 |
|---|
| 3 | | Jean-François Couchot,
Alain Giorgetti,
Nikolai Kosmatov:
A uniform deductive approach for parameterized protocol safety.
ASE 2005: 364-367 |
| 2004 |
|---|
| 2 | | Jean-François Couchot,
Frédéric Dadeau,
David Déharbe,
Alain Giorgetti,
Silvio Ranise:
Proving and Debugging Set-Based Specifications.
Electr. Notes Theor. Comput. Sci. 95: 189-208 (2004) |
| 1 |  | Jean-François Couchot,
David Déharbe,
Alain Giorgetti,
Silvio Ranise:
Scalable Automated Proving and Debugging of Set-Based Specifications.
J. Braz. Comp. Soc. 9(2): 17-36 (2004) |
