Software Engineering and Formal Methods

Software Engineering and Formal Methods

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.

Download Now
Author
Publisher Springer Nature
Release Date
ISBN 303117108X
Pages 373 pages
Rating 4/5 (86 users)

More Books:

Software Engineering and Formal Methods
Language: en
Pages: 373
Authors: Bernd-Holger Schlingloff
Categories: Computers
Type: BOOK - Published: 2022-09-21 - Publisher: Springer Nature

GET 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
Software Engineering and Formal Methods
Language: en
Pages: 277
Authors: Javier Camara
Categories: Computers
Type: BOOK - Published: 2020-09-09 - Publisher: Springer Nature

GET EBOOK

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering
Software Engineering and Formal Methods
Language: en
Pages: 405
Authors: Carlos Canal
Categories: Computers
Type: BOOK - Published: 2015-01-31 - Publisher: Springer

GET EBOOK

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Gr
Software Engineering and Formal Methods
Language: en
Pages: 592
Authors: Antonio Cerone
Categories: Computers
Type: BOOK - Published: 2018-02-01 - Publisher: Springer

GET EBOOK

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Metho
Software Engineering and Formal Methods
Language: en
Pages: 394
Authors: Dimitra Giannakopoulou
Categories: Computers
Type: BOOK - Published: 2014-08-04 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, Fra
Software Engineering and Formal Methods
Language: en
Pages: 419
Authors: Rocco De Nicola
Categories: Computers
Type: BOOK - Published: 2016-06-22 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in
Software Engineering and Formal Methods
Language: en
Pages: 504
Authors: Gilles Barthe
Categories: Computers
Type: BOOK - Published: 2011-10-26 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Ur
Software Engineering and Formal Methods
Language: en
Pages: 410
Authors: Alessandro Cimatti
Categories: Computers
Type: BOOK - Published: 2017-08-24 - Publisher: Springer

GET EBOOK

​This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, It
From Software Engineering to Formal Methods and Tools, and Back
Language: en
Pages: 574
Authors: Maurice H. ter Beek
Categories: Computers
Type: BOOK - Published: 2019-10-08 - Publisher: Springer Nature

GET EBOOK

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of
Formal Methods and Software Engineering
Language: en
Pages: 758
Authors: Karin Breitman
Categories: Computers
Type: BOOK - Published: 2009-11-18 - Publisher: Springer

GET EBOOK

Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design te