Denis Lohner und Proof - Info zur Person

(1 - 12 von 21

)

i12www.ira.uka.de

Markus Bender (White-box Testing) Volker Klasen, Joachim Pehl (New Proof Navigation) Denis Lohner (New JML Translation)

Denis Lohner - Archive of Formal Proofswww.isa-afp.org › authors › lohner

www.isa-afp.org

Homepages. http://pp.ipd.kit.edu/person.php?id=88. Entries Minimal Static Single Assignment Form. by Max Wagner and Denis Lohner. Jan

From Formal Semantics to Verified Slicing: A Modular Framework with...

books.google.de

This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such...

Reconstructing veriT proofs in Isabelle/HOL - Inriapxtp.gforge.inria.fr › papers › PxTP_2019_paper_7

pxtp.gforge.inria.fr

151–156, doi: [10] Sebastian Buchwald, Denis Lohner & Sebastian Ullrich (2016): Verified construction of static single assign-.

DBLP - Denis Lohner

dblp.cloudmining.net

sorted by: number of citations, relevance, year. Daniel Wasserrab, Denis Lohner, Gregor Snelting : On PDG-based noninterference and its modular proof.

dblp: Archive of Formal Proofs, Volume 2016

dblp.dagstuhl.de

Bibliographic content of Archive of Formal Proofs, Volume 2016

Illi Isabellistes Se Custodes Egregios Praestabant | SpringerLink

link.springer.com

Daniel Wasserrab, Denis Lohner, and Gregor Snelting. “On PDG-Based Noninterference and its Modular Proof”. In: Proc. PLAS '09 ACM.

Natural Deduction and the Isabelle Proof Assistant - DeepAI

deepai.org

— 123–139, doi: [6] Joachim Breitner & Denis Lohner (2016): The meta theory of the Incredible Proof Machine. › publication › n...

Visual Theorem Proving with the Incredible Proof Machine |...

link.springer.com

The Incredible Proof Machine is an easy and fun to use program to conduct formal proofs. It employs a novel, intuitive proof representation based on port...

The Incredible Proof Machineincredible.pm

incredible.pm

... Joachim Breitner, Denis Lohner: The meta theory of the Incredible Proof Machine, Isabelle formalisation in the Archive of Formal Proofs, May

The meta theory of the Incredible Proof Machine - Archive of Formal...

www.isa-afp.org

Title: The meta theory of the Incredible Proof Machine. Author: Joachim Breitner and Denis Lohner. Submission date: Abstract: The Incredible Proof ...

On PDG-based noninterference and its modular proof | Sciweavers

www.sciweavers.org

... simple while language and Java bytecode, as well as with three diff... Daniel Wasserrab, Denis Lohner, Gregor Snelting. Display Traffic Map ...

Alle Infos zum Namen "Denis Lohner"

Verwandte Suchanfragen zu Denis Lohner

Friedemann Rößler
Sonja Pieper
Joachim Breitner

Andreas Lochbihler
Gregor Snelting
Daniel Wasserrab

Martin Mohr
Franziska Noack

Person "Lohner" (3)
Vorname "Denis" (12386)
Name "Lohner" (498)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Denis Lohner und Proof Person-Info