Related Books

Applicable Formal Methods for Safe Industrial Products
Language: en
Pages: 340

Applicable Formal Methods for Safe Industrial Products

Authors: Anne E. Haxthausen
Categories: Computers
Type: BOOK - Published: 2023-09-17 - Publisher: Springer Nature

GET EBOOK

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and in
The Practice of Formal Methods
Language: en
Pages: 328

The Practice of Formal Methods

Authors: Ana Cavalcanti
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK

Verification, Model Checking, and Abstract Interpretation
Language: en
Pages: 349

Verification, Model Checking, and Abstract Interpretation

Authors: Rayna Dimitrova
Categories: Computers
Type: BOOK - Published: 2023-12-29 - Publisher: Springer Nature

GET EBOOK

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpret
The Application of Formal Methods
Language: en
Pages: 388

The Application of Formal Methods

Authors: Simon Foster
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK

Software Engineering and Formal Methods
Language: en
Pages: 426

Software Engineering and Formal Methods

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