Travelled to:1 × Denmark
1 × Germany
Collaborated with:H.Collavizza H.Boufaïed A.Cavanié V.Stehlé
Talks about:system (2) processor (1) framework (1) generat (1) coverag (1) orient (1) object (1) formal (1) direct (1) verif (1)
Person: Laurent Arditi
DBLP: Arditi:Laurent
Contributed to:
2001
1995Wrote 2 papers:
- FME-2001-ArditiBCS #generative #testing #validation
- Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System (LA, HB, AC, VS), pp. 449–464.
- ECOOP-1995-ArditiC #framework #object-oriented #verification
- An Object-Oriented Framework for the Formal Verification of Processors (LA, HC), pp. 215–234.