Chantal Keller

Available identifiers

Publication	Date of Publication	Type
Tactic program-based testing and bounded verification in Isabelle/HOL	2023-05-05	Paper
SMTCoq: a plug-in for integrating SMT solvers into Coq	2022-08-12	Paper
On the semantics of polychronous polytimed specifications	2021-03-02	Paper
A symbolic operational semantics for TESL -- with an application to heterogeneous system testing	2017-12-01	Paper
Typeful normalization by evaluation	2017-07-12	Paper
Dependent types and multi-monadic effects in \(\mathrm{F}^*\)	2016-10-24	Paper
Parametricity in an impredicative sort	2012-11-22	Paper
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses	2011-11-22	Paper
Importing HOL Light into Coq	2010-09-14	Paper

This page was built for person: Chantal Keller