Régis Blanc

On Verification by Translation to Recursive Functions An Overview of the Leon Verification System

Viktor Kuncak, Etienne Kneuss, Philippe Suter, 2013 .

CafeSat : A Modern SAT Solver for

Régis Blanc, 2013 .

Sound reasoning about integral data types with a reusable SMT solver interface

Viktor Kuncak, Régis Blanc, Régis Blanc, 2015, Scala@PLDI.

An overview of the Leon verification system: verification by translation to recursive functions

Viktor Kuncak, Etienne Kneuss, Philippe Suter, 2013, SCALA@ECOOP.

Verification by Reduction to Functional Programs

Régis Blanc, Régis Blanc, 2017 .

Verification of Imperative Programs in Scala

Régis William Blanc, Régis Blanc, 2012 .

ABC: Algebraic Bound Computation for Loops

Thomas A. Henzinger, Laura Kovács, Thibaud Hottelier, 2010, LPAR.