1
0
0
(1 - 21 von 35
)
Xing: Thorsten Bormer
Dr. / Software Developer / Karlsruhe / Linux, Jenkins, Docker, Python / , Universität Koblenz-Landau
Search | arXiv e-print repository
128.84.21.199
Authors: Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer. Abstract: Software verification tools have become a lot more powerful in ...
Deductive Software Verification – The KeY Book: From Theory ...google.de
books.google.de
Thomas Baar (HTW Berlin), Dr. Thorsten Bormer, Dr. Ádám Darvas, Dr. Crystal Din, Huy Qouc Do, Dr. Christian Engel, Dr. Tobias Gedell, Dr. Elmar Habermalz, ...
Formal Verification of Object-Oriented Software: ...google.de
books.google.de
3 Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, ...
Search-Based Software Engineering: 7th International ...google.de
books.google.de
77 Mahmoud A. Bokhari, Thorsten Bormer, and Markus Wagner Combining Multiple Coverage Criteria in Search-Based Unit Test Generation .
Bernhard K. Aichernig Frank S. de Boerhaui.edu.vn
lic.haui.edu.vn
Bernhard Beckert, Thorsten Bormer, and Vladimir Kle. Program Specialization via a Software Verification Tool... Richard Bubel, Reiner Hähnle, and Ran Ji. › media › Book_CNTT
Formal Verification of Object-Oriented Software 2011Universität Augsburg
opus.bibliothek.uni-augsburg.de
von B Beckert · Zitiert von: 5 — Bernhard Beckert, Thorsten Bormer, Florian Merz, and Carsten. Sinz. A Framework for Object-Oriented Modeling and Analysis of. › files
dblp: Formal Verification of Object-Oriented Software 2011
dblp.uni-trier.de
Bibliographic content of Formal Verification of Object-Oriented Software 2011
KeY Project: Integrated Deductive Software Design
i12www.iti.uni-karlsruhe.de
Thorsten Bormer, Managing a changing rule base. Richard Bubel, Can we make use of ADTs in KeY? Hajo Daniels, Demo of the "new" GF editor for OCL.
Formal Verification of a Microkernel Used in Dependable Software...
link.springer.com
In recent years, deductive program verification has improved to a degree that makes it feasible for real-world programs. Following this observation, the main...
Search-Based Software Engineering - 7th International Symposium,...
researchr.org
[doi] · An Improved Beam-Search for the Test Case Generation for Formal Verification SystemsMahmoud A. Bokhari, Thorsten Bormer, Markus Wagner
Thorsten Bormer - KIT - Application-oriented Formal ...
formal.iti.kit.edu
2009; Titel Authors Source; Formal Verification of a Microkernel Used in Dependable Software Systems: Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer
Internet Archive Search: creator:"Thorsten Bormer"
archive.org
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck - Christoph Baumann Software verification tools have become a lot more ...
KIT - Veröffentlichungen
verialg.iti.kit.edu
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz. Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers.: Termination Analysis of C Programs Using Compiler Intermediate Languages: Stephan Falke, Deepak Kapur, Carsten Sinz
Studium und Lehre
lfm.iti.kit.edu
Thorsten Bormer Daniel Bruns David Faragó Vladimir Klebanov Mattias Ulbrich Benjamin Weiß. SWS: 2: LVNr.: : Hinweis: Software-basierte Systeme sind aus unserem Alltag nicht mehr wegzudenken. Sie halten Einzug in nahezu alle Bereiche unseres Lebens. Allerdings bleibt die Qualität der Software trotz ihrer wachsenden Bedeutung nur allzuoft auf der Strecke. In manchen Bereichen mag dies ...
KeY Project: Integrated Deductive Software Design
i12www.ira.uka.de
... (30) Holger Stenger: Classification of Taclets (15) Thorsten Bormer: Managing a changing rule base (15) Break Dinner is served ...
EPTCS 102: Systems Software Verification
cgi.cse.unsw.edu.au
Christoph Baumann, Bernhard Beckert, Holger Blasum and Thorsten Bormer, 18. A Formal Model of a Virtual Filesystem Switch Gidon Ernst ...
HTML - Electronic Proceedings in Theoretical Computer ...
cgi.cse.unsw.edu.au
Christoph Baumann, Bernhard Beckert, Holger Blasum & Thorsten Bormer (2009): Better Avionics Software Reliability by Code Verification – A Glance at Code ...
Seminar "Software-Zertifizierung"
formal.kastel.kit.edu
Thorsten Bormer); Software-Zertifizierung im Automobilbau (Automotive) - Bastian Zimmermann ...
KeY Project: Integrated Deductive Software Design
i12www.ira.uka.de
Erik Poll - Immutable Objects Roger Antonsen - Uniform Variable Splitting Christian Mahesh Hansen - Andre Platzer - Abstraction Refinement for Hybrid Systems
Alle Infos zum Namen "Thorsten Bormer"
Verwandte Suchanfragen zu Thorsten Bormer
Radu Grigore Carsten Schürmann Michael Kirsten | Holger Blasum Stephan Gocht Daniel Bruns | Markus Wagner Vladimir Klebanov Christoph Baumann |
Personen Vorname "Thorsten" (22885) Name "Bormer" (4) |
sortiert nach Relevanz / Datum