Reiner Hähnle – författare
Visar alla böcker från författaren Reiner Hähnle. Handla med fri frakt och snabb leverans.
18 produkter
Automated Deduction in Multiple-Valued Logics
Inbunden, 1994
1801 kr
Lägg i varukorg
This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL) developed by the author. Moreover, it contains a virtually complete account of other approaches to automated reasoning in MVL. This is the first overview of this subfield of automated …
Handbook of Tableau Methods
Av M. D'Agostino, Dov M. Gabbay m. fl.
Inbunden, 1999
2188 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 …
Fundamental Approaches to Software Engineering
Av Wil Van Der Aalst, Reiner Hähnle
Häftad, 2020
764 kr
Lägg i varukorg
Fundamental Approaches to Software Engineering
Av Wil Van Der Aalst, Reiner Hähnle
Inbunden, 2020
822 kr
Lägg i varukorg
Fundamental Approaches to Software Engineering
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Av Reiner Hähnle, Wil van der Aalst
Häftad, 2019
571 kr
Lägg i varukorg
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory …
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2020
571 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 Frank de Boer, Ferruccio Damiani m. fl.
Häftad, 2024
850 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 …
Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Av Marco Bernardo, Ferruccio Damiani m. fl.
Häftad, 2014
569 kr
Lägg i varukorg
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.SFM 2014 was devoted to executable software models …
Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Av Ina Schaefer, Einar Broch Johnsen m. fl.
E-bok, 2014
739 kr
Lägg i varukorg
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models …
Deductive Software Verification – The KeY Book
From Theory to Practice
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2016
1355 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 Amel Bennaceur, Reiner Hähnle m. fl.
Häftad, 2018
659 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 …
Theorem Proving with Analytic Tableaux and Related Methods
4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
Av Peter Baumgartner, Reiner Hähnle m. fl.
Häftad, 1995
552 kr
Lägg i varukorg
This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloß Rheinfels, St. Goar, Germany in May 1995.Originally tableau calculi and their relatives were favored primarily as a pedagogical device …
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
Av Bernhard Beckert, Reiner Hähnle m. fl.
Häftad, 2007
1130 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 Bernhard Beckert, Reiner Hähnle
Häftad, 2008
569 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 Jürgen Giesl, Reiner Hähnle
Häftad, 2010
1130 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 Reiner Hähnle, Jens Knoop m. fl.
Häftad, 2012
569 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 Elena Giachino, Reiner Hähnle m. fl.
Häftad, 2013
524 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 M. D'Agostino, Dov M. Gabbay m. fl.
Häftad, 2010
2188 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 …
