Nicolas Caniart

According to our database, Nicolas Caniart authored at least 2 papers between 2008 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Merit: An Interpolating Model-Checker.

Nicolas Caniart

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2008

Accelerating Interpolation-Based Model-Checking.

Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008