1
0
0
(1 - 30 von 31
)
Part II: Techniques | COST Action IC1205 on ...uva.nl
archive.illc.uva.nl
Bernhard Beckert, Thorsten Bormer, Rajeev Goré, Michael Kirsten, and Carsten Schürmann; A PrefLib.org Retrospective: Lessons Learned and New Directions ... › Part2
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 ...
Automated Deduction – CADE-22: 22nd International Conference ...google.de
books.google.de
... Frydrychowicz Brigitte Pientka External Reviewers Stefan Andrei Roger Antonsen Carlos Areces Gilles Barthe Armin Biere Thorsten Bormer Ana Bove Marco ...
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, ...
Integrated Formal Methods: 13th International Conference, ...google.de
books.google.de
... Thorsten Bormer, Stephan Gocht, Mihai Herda(B), Daniel Lentzsch, and Mattias Ulbrich Karlsruhe Institute of Technology (KIT), Karlsruhe, ...
Automated Deduction – CADE-22: 22nd International Conference on...
books.google.de
This book constitutes the refereed proceedings of the 22nd International Conference on Automated Deduction, CADE-22, held in Montreal, Canada, in August
Automated Reasoning: 5th International Joint Conference, IJCAR
books.google.de
... Publicity Chair Viorica Sofronie-Stokkermans Vincent Aravantinos Serge Autexier Taus Brock-Nannestad Thomas Bolander Thorsten Bormer Organization.
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 .
Behold a Pale Farce: Cyberwar, Threat Inflation, & the Malware...
books.google.de
This book presents a data-driven message that exposes the cyberwar media campaign being directed by the Pentagon and its patronage networks. By demonstrating...
Formal Verification of Object-Oriented Software: International...
books.google.de
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software,...
Automated Reasoning: 5th International Joint Conference, IJCAR ...books.google.com › books
books.google.de
... Stump Publicity Chair Viorica Sofronie-Stokkermans Vincent Aravantinos Serge Autexier Taus Brock-Nannestad Thomas Bolander Thorsten Bormer Organization.
Software Engineering and Formal Methods: 17th International ...google.de
books.google.de
353 Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, and Mattias Ulbrich Local Nontermination Detection for Parallel C++ ...
ECOOP Object-Oriented Programming: 23rd European Conference,...
books.google.de
Welcome to the proceedings of ECOOP 2009! Thanks to the local organizersfor working hard on arranging the conference — with the hard work they put in, it was a...
Verification-based Software-fault Detection - Christoph David...
books.google.de
Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the...
Formal Methods for Components and Objects: 9th International...
books.google.de
The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues;...
Verification of Object-Oriented Software. The KeY Approach: ...google.de
books.google.de
Bernhard Beckert, Thorsten Bormer, and Vladimir Klebanov. Reusing proofs when program verification systems are modified. In Proc.
Computer Safety, Reliability, and Security: 28th International...
books.google.de
Computer-based systems have become omnipresent commodities within our - vironment. While for a large variety of these systems such as transportation systems,...
Verification-based Software-fault Detectiongoogle.de
books.google.de
I would like to thank: Thorsten Bormer, Daniel Bruns, Christian Dietz, Dr. Shmuel Tyszberowicz, Markus Wagner, Dr. Benjamin Weiß, and Paul.
Integrated Formal Methods: 13th International Conference, IFM 2017,...
books.google.co.uk
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September...
Objects, Components, Models and Patterns: 46th International...
books.google.de
This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2008,...
Software Engineering and Formal Methods: 17th International...
books.google.de
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo,...
Formal Methods: Foundations and Applications: 16th Brazilian...
books.google.de
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October...
Leveraging Applications of Formal Methods, Verification and...
books.google.co.uk
... Implementing and Using Domain-Specific Languages (2013). dslbook.org Deductive Verification of Legacy Code Bernhard Beckert(B), Thorsten Bormer, and ...
Tests and Proofs: 7th International Conference, TAP 2013, Budapest,...
books.google.de
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as...
Verification of Object-Oriented Software. The KeY Approach: Foreword...
books.google.de
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving...
Deductive Verification of Object-oriented Software: Dynamic Frames,...
books.google.de
Software systems play a central role in modern society, and their …ctness is often crucially important. Formal specification and verification are promising...
Change Management in Deductive Program Verification - Thorsten Bormer...
books.google.com.ua
Title, Change Management in Deductive Program Verification. Author, Thorsten Bormer. Published, Length, 42 pages. Export Citation, BiBTeX EndNote ...
Using Relational Verification for Program SlicingGoogle
books.google.com
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich. KIT Karlsruher Institut für Technologie, Fakultät für ... › about
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