The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods
Author :
Publisher : Springer Nature
Total Pages : 531
Release :
ISBN-10 : 9783031081668
ISBN-13 : 3031081668
Rating : 4/5 (68 Downloads)

Book Synopsis The Logic of Software. A Tasting Menu of Formal Methods by : Wolfgang Ahrendt

Download or read book The Logic of Software. A Tasting Menu of Formal Methods written by Wolfgang Ahrendt and published by Springer Nature. This book was released on 2022-07-04 with total page 531 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


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

The Logic of Software. A Tasting Menu of Formal Methods
Language: en
Pages: 531
Authors: Wolfgang Ahrendt
Categories: Computers
Type: BOOK - Published: 2022-07-04 - Publisher: Springer Nature

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 position
Software Engineering and Formal Methods
Language: en
Pages: 373
Authors: Bernd-Holger Schlingloff
Categories: Computers
Type: BOOK - Published: 2022-09-21 - Publisher: Springer Nature

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 B
Formal Methods
Language: en
Pages: 692
Authors: André Platzer
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Integrated Formal Methods
Language: en
Pages: 336
Authors: Nikolai Kosmatov
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Language: en
Pages: 416
Authors: Tiziana Margaria
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK