Formal Methods – The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
-
- €42.99
-
- €42.99
Publisher Description
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.
The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.
GENRE
Computing & Internet
RELEASED
2019
23 September
LANGUAGE
EN
English
LENGTH
795
Pages
PUBLISHER
Springer International Publishing
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
43.2
MB
Formal Methods: Foundations and Applications
2025
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2025
Coordination Models and Languages
2022
Integrated Formal Methods
2022
Formal Methods for Industrial Critical Systems
2020
From Software Engineering to Formal Methods and Tools, and Back
2019