Travelled to:1 × Hungary
1 × United Kingdom
Collaborated with:∅ E.Fleury J.Leroux M.Zeitoun
Talks about:interpol (2) model (2) checker (1) acceler (1) merit (1) check (1) base (1)
Person: Nicolas Caniart
DBLP: Caniart:Nicolas
Contributed to:
2010
2008Wrote 2 papers:
- CAV-2010-Caniart #model checking #named
- Merit: An Interpolating Model-Checker (NC), pp. 162–166.
- TACAS-2008-CaniartFLZ #model checking
- Accelerating Interpolation-Based Model-Checking (NC, EF, JL, MZ), pp. 428–442.