FM 2015: Formal Methods
Title | FM 2015: Formal Methods PDF eBook |
Author | Nikolaj Bjørner |
Publisher | Springer |
Pages | 620 |
Release | 2015-05-23 |
Genre | Computers |
ISBN | 3319192493 |
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
FM 2016: Formal Methods
Title | FM 2016: Formal Methods PDF eBook |
Author | John Fitzgerald |
Publisher | Springer |
Pages | 807 |
Release | 2016-11-06 |
Genre | Computers |
ISBN | 3319489895 |
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.
Formal Methods for Industrial Critical Systems
Title | Formal Methods for Industrial Critical Systems PDF eBook |
Author | Manuel Núñez |
Publisher | Springer |
Pages | 220 |
Release | 2015-05-11 |
Genre | Computers |
ISBN | 3319194585 |
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
Formal Methods
Title | Formal Methods PDF eBook |
Author | Andre Platzer |
Publisher | Springer Nature |
Pages | 669 |
Release | |
Genre | |
ISBN | 3031711777 |
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Title | Leveraging Applications of Formal Methods, Verification and Validation. Modeling PDF eBook |
Author | Tiziana Margaria |
Publisher | Springer |
Pages | 599 |
Release | 2018-10-28 |
Genre | Computers |
ISBN | 3030034186 |
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Formal Methods – The Next 30 Years
Title | Formal Methods – The Next 30 Years PDF eBook |
Author | Maurice H. ter Beek |
Publisher | Springer Nature |
Pages | 776 |
Release | 2019-09-23 |
Genre | Computers |
ISBN | 3030309428 |
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.
Formal Methods and Software Engineering
Title | Formal Methods and Software Engineering PDF eBook |
Author | Kazuhiro Ogata |
Publisher | Springer |
Pages | 503 |
Release | 2016-10-31 |
Genre | Computers |
ISBN | 331947846X |
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.