Integrated Formal Methods Integrated Formal Methods

Integrated Formal Methods

17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

Maurice H. ter Beek & Rosemary Monahan
    • $64.99
    • $64.99

Publisher Description

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.

The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings:  Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

GENRE
Computers & Internet
RELEASED
2022
June 1
LANGUAGE
EN
English
LENGTH
388
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
37.1
MB

More Books Like This

Formal Methods Formal Methods
Formal Methods
2021
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019
Leveraging Applications of Formal Methods, Verification and Validation. Verification Leveraging Applications of Formal Methods, Verification and Validation. Verification
Leveraging Applications of Formal Methods, Verification and Validation. Verification
2018
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2021
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
2022
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2020

More Books by Maurice H. ter Beek & Rosemary Monahan

Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2022
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2020
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
2019
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019
Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
2016
Architecting Dependable Systems VI Architecting Dependable Systems VI
Architecting Dependable Systems VI
2009