Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part I / Tiziana Margaria, Bernhard Steffen (eds.).
ISoLA (Symposium) (9th : 2020 : Online); Margaria-Steffen, Tiziana, 1964- editor.; Steffen, Bernhard, editor.
2020
QA76.9.F67 I83 2020
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part I / Tiziana Margaria, Bernhard Steffen (eds.).
Meeting Name ISoLA (Symposium) (9th : 2020 : Online)
ISBN 9783030613624 (electronic resource)
3030613623 (electronic resource)
9783030613617 (print)
DOI https://doi.org/10.1007/978-3-030-61362-4
Published Cham, Switzerland : Springer, [2020]
Language English
Description 1 online resource (xxiii, 582 pages) : 2427 illustrations (110 in color)
Item Number 10.1007/978-3-030-61362-4 doi
Call Number QA76.9.F67 I83 2020
Dewey Decimal Classification 005.1
Summary The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. 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, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems. .
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Source of Description Description based on resource, viewed January 5, 2021.
Added Author Margaria-Steffen, Tiziana, 1964- editor.
Steffen, Bernhard, editor.
Series Lecture notes in computer science ; 12476.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form Leveraging Applications of Formal Methods, Verification and Validation.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Who Carries the Burden of Modularity?
On Testing Message-Passing Components
Composing Communicating Systems, Synchronously
Modular Verification of JML Contracts Using Bounded Model Checking
On Slicing Software Product Line Signatures
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients
Abstraction and Genericity in Why3
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
An Interface Theory for Program Verification
Scaling Correctness-by-Construction
X-by-Construction: Correctness meets Probability
Correctness by construction for probabilistic programs
Components in Probabilistic Systems: Suitable by Construction
Behavioral Specification Theories: an Algebraic Taxonomy
Approximating Euclidean by Imprecise Markov Decision Processes
Shield Synthesis for Reinforcement Learning
Inferring Performance From Code: A Review
30 years of Statistical Model Checking
Statistical Model Checking: Black or White?
Probabilistic Mission Planning and Analysis for Multi-agent Systems
30 Years of Simulation-Based Quantitative Analysis Tools: a Comparison Experiment between Möbius and Uppaal SMC
Fluid Model-Checking in UPPAAL for Covid-19
Improving Secure and Robust Patient Service Delivery
Verification and Validation of Concurrent and Distributed Systems (Track Summary)
Step-wise Development of Provably Correct Actor Systems
Violation Witnesses and Result Validation for Multi-Threaded Programs
Tendermint Blockchain Synchronization: Formal Specification and Model Checking
Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project
Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs
Formal Verification of an Industrial Distributed Algorithm: an Experience Report
Deploying TESTAR to enable remote testing in an industrial CI pipeline: a case-based evaluation
A Formal Model of the Kubernetes Container Framework.

Browse Subjects

Show more subjects...

Statistics

from
to
Export