The Logic of Software. A Tasting Menu of Formal Methods
The Logic of Software. A Tasting Menu of Formal Methods

Author: Wolfgang Ahrendt

Publisher: Springer Nature

Published: 2022-07-04

Total Pages: 531

ISBN-13: 3031081668

DOWNLOAD EBOOK

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification.

Software Engineering and Formal Methods
Software Engineering and Formal Methods

Author: Bernd-Holger Schlingloff

Publisher: Springer Nature

Published: 2022-09-21

Total Pages: 373

ISBN-13: 303117108X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.

Automated Deduction – CADE 29
Automated Deduction – CADE 29

Author: Brigitte Pientka

Publisher: Springer Nature

Published: 2023-10-04

Total Pages: 614

ISBN-13: 3031384997

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.

Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation

Author: Rayna Dimitrova

Publisher: Springer Nature

Published: 2023-12-29

Total Pages: 349

ISBN-13: 3031505212

DOWNLOAD EBOOK

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy;

Computer Applications
Computer Applications

Author: Min Zhang

Publisher: Springer Nature

Published: 2023-12-15

Total Pages: 285

ISBN-13: 981998761X

DOWNLOAD EBOOK

The two-volume set CCIS 1959 and 1960 constitutes the refereed post-conference proceedings of the 38th CCF National Conference on Computer Applications, CCF NCCA 2023, held in Suzhou, China, during July 16–20, 2023. The 39 revised full papers presented in these proceedings were carefully reviewed and selected from 197 submissions. The papers are organized in the following topical sections: Volume I: Artificial intelligence and application. Volume II: Data science and technology; pattern recognition and machine learning; network communication and security; frontier and comprehensive applications.

Tests and Proofs
Tests and Proofs

Author: Virgile Prevosto

Publisher: Springer Nature

Published: 2023-07-19

Total Pages: 202

ISBN-13: 3031388283

DOWNLOAD EBOOK

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.

Frontiers of Combining Systems
Frontiers of Combining Systems

Author: Uli Sattler

Publisher: Springer Nature

Published: 2023-10-16

Total Pages: 282

ISBN-13: 3031433696

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.

Verified Software. Theories, Tools and Experiments.
Verified Software. Theories, Tools and Experiments.

Author: Akash Lal

Publisher: Springer Nature

Published: 2023-01-31

Total Pages: 176

ISBN-13: 3031258037

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022. The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.