!!Javier Esparza - Curriculum vitae \\ __1 Academic Employment__ ...
www.ae-info.org
Defence: * (with Tobias Nipkow) Dr. Leonor Prensa-Nieto. PhD Thesis : "Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee ...
Curriculum vitae - Javier Esparza
www.ae-info.org
11 Jan — (with Tobias Nipkow) Dr. Leonor Prensa-Nieto. PhD Thesis: "Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee ... › User › Esparza_Javier
Leonor Prensa Nieto - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Leonor Prensa Nieto . MathSciNet. Dr. rer. nat. Technische Universität München Dissertation: Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in Isabelle/HOL. Mathematics Subject Classification: 68—Computer science. Advisor 1: Tobias Nipkow
Programming Languages and Systems: 12th European Symposium on ...books.google.de › books
books.google.de
... April 7-11, 2003, Proceedings Pierpaolo Degano. The Rely-Guarantee Method in Isabelle/HOL Leonor Prensa Nieto INRIA Sophia-Antipolis, France” Leonor.
Number 7
www.mimuw.edu.pl
ESOPM. Reasoning (Chair: Cedric Fournet). The Rely-Guarantee Method in Isabelle/HOL. Leonor Prensa Nieto. Building Certified Libraries for ...
Verification of parallel programs with the Owicki-Gries dblp
dblp.uni-trier.de
17 Jul — Leonor Prensa Nieto: Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL. › rec › phd › dnb › Nieto02
CORE
core.ac.uk
By Leonor Prensa Nieto, Technische Universität München, Der Technischen Universität München, Leonor Prensa Nieto, Vorsitzender Univ. -prof and Dr. Manfred Broy Abstract This thesis presents the first formalization of the Owicki-Gries method and its compositional version, the rely-guarantee method, in a …
The Rely-Guarantee Method in Isabelle/HOL | SpringerLink
link.springer.com
We present the formalization of the rely-guarantee method in the theorem prover Isabelle/HOL. This method consists of a Hoarelike system of rules to verify...
Verification of parallel programs with the Owicki-Gries ...
www.worldcat.org
Get this from a library! Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL. [Leonor Prensa Nieto;]
All web results to the name "Leonor Prensa"
Formal Methods Reading Seminar, Syllabus
www.cs.ucf.edu
, http://dx.doi.org _12; [Nieto03]: Leonor Prensa Nieto. The Rely-Guarantee Method in Isabelle/HOL. In P. Degano (ed.) ... › ~leavens › syllabus
KIT - Anwendungsorientierte Formale Verifikation - Studium ...
formal.kastel.kit.edu
Folien von Leonor Prensa Nieto (Autorin der Formalisierung von Rely-Guarantee in Isabelle) Beispiele; Übungsblatt. Lektüre: Artikel zum Thema (weiterführende Lektüre) Hinweise: Laden von Beispielen mit: isabelle jedit <dateiname.thy - Verifikation von Echtzeiteigenschaften: UPPAAL
KIT - Anwendungsorientierte Formale Verifikation - Studium und Lehre...
formal.kastel.kit.edu
Vortrag von Leonor Prensa Nieto (Autorin der Formalisierung von Rely-Guarantee in Isabelle) Folien; Einfaches Beispiel Owicki/Gries (mehr Beispiele in ...
CiteSeerX — Citation Query Verification of Parallel Programs with the...
citeseer.uark.edu
CiteSeerX - Scientific documents that cite the following paper: Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee
ETAPS 2003
etaps.org
The Rely-Guarantee Method in Isabelle/HOL Leonor Prensa Nieto (INRIA Sophia Antipolis, F); Building Certified Libraries for PCC: Dynamic Storage Allocation
KIT - Anwendungsorientierte Formale Verifikation -...
formal.kastel.kit.edu
Materialien. Folien von Leonor Prensa Nieto (Autorin der Formalisierung von Rely-Guarantee in Isabelle); Beispiele · Übungsblatt. Lektüre:.
ESOP 2003
www-sop.inria.fr
Leonor Prensa Nieto. We present the formalization of the rely-guarantee method in the theorem prover Isabelle/HOL. This method consists of a Hoare ...
Related search requests for Leonor Prensa
Tobias Nipkow Gilles Barthe Gerwin Klein | Norbert Schirmer Javier Esparza Stephan Merz | Pascal Fontaine Olaf Müller Konrad Slind |
People Forename "Leonor" (2351) Name "Prensa" (29) |
sorted by relevance / date