Skip to main content


Journal of Automated Reasoning

Journal of Automated Reasoning 4/2019

Ausgabe 4/2019

Special Issue: Selected Extended Papers of ITP 2015

Inhaltsverzeichnis ( 5 Artikel )

04.03.2019 | Ausgabe 4/2019

Selected Extended Papers of ITP 2015: Preface

Xingyuan Zhang, Christian Urban

03.11.2017 | Ausgabe 4/2019

A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data

Frédéric Besson, Sandrine Blazy, Pierre Wilke

03.10.2017 | Ausgabe 4/2019

Refinement to Imperative HOL

Peter Lammich

10.11.2018 | Ausgabe 4/2019

Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra

Sylvain Boulmé, Alexandre Maréchal

27.01.2018 | Ausgabe 4/2019

A Consistent Foundation for Isabelle/HOL

Ondřej Kunčar, Andrei Popescu

Aktuelle Ausgaben

Premium Partner