BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Caniart:Nicolas

Contributed to:

CAV 20102010
TACAS 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.