author-photo

Nicolas Voirol

École Polytechnique Fédérale de Lausanne

8

Papers

39

Citations

Citation Trend

Filter By

Papers (8) Sort By

Journal Conference Others

System FR: formalized foundations for the stainless verifier

2019
Show All
- Source
- Cite
- Save
Citations (2)
System FR as Foundations for Stainless.

2019 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (5)
System FR: formalized foundations for the stainless verifier

2019
Show All
- Source
- Cite
- Save
Citations (8)
System FR: formalized foundations for the stainless verifier

2019
Show All
- Source
- Cite
- Save
Citations (2)
Termination of Open Higher-Order Programs

2017
Show All
- Source
- Cite
- Save
Citations (0)
On Satisfiability for Quantified Formulas in Instantiation-Based Procedures

2016
- Nicolas Voirol
- Viktor Kuncak
Show All
- Source
- Cite
- Save
Citations (0)
Automating Verification of Functional Programs with Quantified Invariants

2016
- Nicolas Voirol
- Viktor Kuncak
Show All
- Source
- Cite
- Save
Citations (2)
Counter-example complete verification for higher-order functions

2015 Scala | Symposium on Scala
Show All
- Source
- Cite
- Save
Citations (20)