Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Tiziana Margaria & Bernhard Steffen
    • $39.99
    • $39.99

Publisher Description

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. 

The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:
Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.
Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.
Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.
Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day. 

GENRE
Computers & Internet
RELEASED
2018
October 29
LANGUAGE
EN
English
LENGTH
544
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
27.8
MB

More Books Like This

Leveraging Applications of Formal Methods, Verification and Validation: Applications Leveraging Applications of Formal Methods, Verification and Validation: Applications
Leveraging Applications of Formal Methods, Verification and Validation: Applications
2020
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022
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
Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation
2021
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2017

More Books by Tiziana Margaria & Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
2024
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
2024
Engineering of Computer-Based Systems Engineering of Computer-Based Systems
Engineering of Computer-Based Systems
2023
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
2022
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
2022