Reiner Hahnle – författare
Visar alla böcker från författaren Reiner Hahnle. Handla med fri frakt och snabb leverans.
10 produkter
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Av Mattias Ulbrich, Reiner Hahnle m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by …
Active Object Languages: Current Research Trends
Av Eduard Kamburjan, Einar Broch Johnsen m. fl.
E-bok, 2024
1091 kr
Lägg i varukorg
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as …
Deductive Software Verification - The KeY Book
From Theory to Practice
Av Mattias Ulbrich, Peter H. Schmitt m. fl.
E-bok, 2016
1798 kr
Lägg i varukorg
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, …
Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Av Karl Meinke, Reiner Hahnle m. fl.
E-bok, 2018
813 kr
Lägg i varukorg
Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities. Increased productivity in software engineering relies on the creation of new adaptive, scalable tools that can analyse large and continuously changing software …
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
Av Peter H. Schmitt, Reiner Hahnle m. fl.
E-bok, 2007
1502 kr
Lägg i varukorg
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 actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including …
Tests and Proofs
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Av Reiner Hahnle, Bernhard Beckert
E-bok, 2008
755 kr
Lägg i varukorg
This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9–11, 2008 in Prato, Italy. TAP was the second conference devoted to the convergence of proofs and tests. It combines ideas …
Automated Reasoning
5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Av Reiner Hahnle, Jurgen Giesl
E-bok, 2010
1502 kr
Lägg i varukorg
This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the …
Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Av Bernhard Steffen, Dietmar Schreiner m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium …
Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Av Marcello M. Bonsangue, Frank S. de Boer m. fl.
E-bok, 2013
672 kr
Lägg i varukorg
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The …
Handbook of Tableau Methods
Av J. Posegga, Reiner Hahnle m. fl.
E-bok, 2013
2925 kr
Lägg i varukorg
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to …
