Sylvain Boulmé

Available identifiers

zbMath Open boulme.sylvainMaRDI QIDQ1739910

List of research outcomes

Publication	Date of Publication	Type
Refinement to certify abstract interpretations: illustrated on linearization for polyhedra	2019-04-29	Paper
A Coq tactic for equality learning in linear arithmetic	2018-10-04	Paper
Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra	2015-09-14	Paper
Certifying Synchrony for Free	2011-05-06	Paper
A Refinement Methodology for Object-Oriented Programs	2011-01-21	Paper
Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#	2010-01-28	Paper
Intuitionistic Refinement Calculus	2009-03-10	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper

Research outcomes over time

This page was built for person: Sylvain Boulmé