Peter Lammich und Framework - Info zur Person

(1 - 24 von 25

)

Campus Event Calendar: Peter Lammich ( in E domino.mpi-inf.mpg.de › events.nsf

domino.mpi-inf.mpg.de

The Isabelle Refinement Framework. Peter Lammich. TU München. Talk. AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI Info. Public Audience. English.

The Isabelle Refinement Framework by Peter Lammich, Assistant ...www.utwente.nl › ... › FMT group

www.utwente.nl

· The Isabelle Refinement Framework by Peter Lammich, Assistant Professor University of Twente ... Abstract: In this talk, we give an overview of the ...

Workshop Progress in Decision Procedures: From Formalizations to...

argo.matf.bg.ac.rs

16: :25, Peter Lammich (TU-Munich, Germany): The Isabelle Refinement Framework slides. 16: :50, Pedro Quaresma (University ...

A Machine-Checked, Type-Safe Model of Java Concurrency : Language,...

books.google.hr

Springer, [91] Peter Lammich. Collections framework. In Gerwin Klein, Tobias Nipkow, and Lawrence C. Paulson, editors, The Archive of Formal Proofs.

Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm...

link.springer.com

We provide a framework for program and data refinement in Isabelle/HOL. It is based on a refinement calculus for monadic expressions and provides tools to...

Wikipedia: Isabelle (proof assistant) - Wikipedia

The Isabelle automated theorem prover is an interactive theorem prover, a higher order logic ... Jump up to: Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich & Christoph Weidenbach, "A Verified SAT Solver Framework with Learn, ...

Refinement for Monadic Programs. Peter Lammich - PDF Free Download

financedocbox.com

Refinement for Monadic Programs Peter Lammich August 28, Abstract We provide a framework for program and data refinement in Isabelle/HOL.

Isabelle Collections Framework. By Peter Lammich and Andreas...

docplayer.net

April 17, Abstract This development provides an efficient, extensible, ...

A Framework for Verifying Depth-First Search Algorithms - Archive of...

devel.isa-afp.org

Title: A Framework for Verifying Depth-First Search Algorithms: Authors: Peter Lammich and René Neumann (rene /dot/ neumann /at/ in /dot/ tum /dot/ de)

A Separation Logic Framework for Imperative HOL - Archive of Formal...

www.isa-afp.org

Peter Lammich and Rene Meis (rene /dot/ meis /at/ uni-due /dot/ de) Submission date: : Abstract: We provide a framework for separation-logic based …ctness proofs of Imperative HOL programs. Our framework comes with a set of proof methods to automate canonical tasks such as verification condition generation and frame inference.

Dr. Andreas Lochbihler

www.andreas-lochbihler.de

Peter Lammich and Andreas Lochbihler: The Isabelle Collections Framework. In: Matt Kaufmann and Lawrence C. Paulson (Eds.), Interactive Theorem Proving (ITP 2010), LNCS 6172, pp …

The Imperative Refinement Framework - Archive of Formal Proofs

devel.isa-afp.org

Peter Lammich Submission date: : Abstract: We present the Imperative Refinement Framework (IRF), a tool that supports a stepwise refinement based approach to imperative programs. This entry is based on the material we presented in [ITP-2015, CPP-2016]. It uses the Monadic Refinement Framework as a frontend for the specification of the ...

A Verified SAT Solver Framework with Learn, Forget, Restart ...research.vu.nl › publications › a-ve...

research.vu.nl

Jasmin Christian Blanchette, Mathias Fleury*, Peter Lammich, Christoph Weidenbach. *…sponding author for this work. Theoretical ...

A Verified SAT Solver Framework with Learn, Forget, Restart, and ...pubmed.ncbi.nlm.nih.gov › ...

pubmed.ncbi.nlm.nih.gov

Authors. Jasmin Christian Blanchette , Mathias Fleury , Peter Lammich , Christoph Weidenbach. Affiliations. 1 1Section of Theoretical Computer Science, ...

A Verified SAT Solver Framework with Learn, Forget, Restart, and...

www.infona.pl

... SAT Solver Framework with Learn, Forget, Restart, and Incrementality. Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich, Christoph Weidenbach.

Konferenzartikel: The Isabelle Collections Framework - IPD Sneltingpp.ipd.kit.edu › publication

pp.ipd.kit.edu

Peter Lammich, Andreas Lochbihler, The Isabelle Collections Framework, pp , Springer, July Zusammenfassung. The Isabelle Collections Framework ( ...

Collections Framework - Archive of Formal Proofs

www.isa-afp.org

Title: Collections Framework. Author: Peter Lammich. Contributors: Andreas Lochbihler and Thomas Tuerk. Submission date: Abstract: This ...

[PDF] A Framework for Verifying Depth-First Search Algorithms by ...oa.mg › work

oa.mg

Peter Lammich,René Neumann ; DOI: bf · Cited 396 times. Memory-efficient algorithms for the verification of temporal properties ; DOI: ...

[TYPES/announce] VTSA 2018: call for applications

lists.seas.upenn.edu

... Filliâtre: An Introduction to Deductive Program Verification > - Peter Lammich: Algorithm Verification with the Isabelle Refinement Framework ...

reference request - What's new in purely functional data structures...

cstheory.stackexchange.com

Peter Lammich published The Isabelle Collections framework, which includes formalizations of efficient purely functional data structures like red-black trees and tries, as well as data structures that are less efficient when used persistently, such as two-stack-queues (without Okasaki's laziness trick) and hash ...

Alle Infos zum Namen "Peter Lammich"

Verwandte Suchanfragen zu Peter Lammich

Mathias Fleury
Sergey Grebenshchikov
Helmut Seidl

René Neumann
Markus Rabe
Virginia Tech

Maximilian Paul
Christoph Weidenbach
Andreas Lochbihler

Person "Lammich" (1)
Vorname "Peter" (123603)
Name "Lammich" (73)

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

Peter Lammich und Framework Person-Info