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.)
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 C...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
[2020]
|
| Series: | Lecture notes in computer science ;
12476. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xi 4500 | ||
|---|---|---|---|
| 001 | b11729263 | ||
| 003 | CoU | ||
| 005 | 20210129153229.3 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 201028s2020 sz a ob 101 0 eng d | ||
| 019 | |a 1204141681 | ||
| 020 | |a 9783030613624 |q (electronic resource) | ||
| 020 | |a 3030613623 |q (electronic resource) | ||
| 020 | |z 9783030613617 |q (print) | ||
| 024 | 7 | |a 10.1007/978-3-030-61362-4 | |
| 035 | |a (OCoLC)spr1225898384 | ||
| 035 | |a (OCoLC)1225898384 |z (OCoLC)1204141681 | ||
| 037 | |a spr978-3-030-61362-4 | ||
| 040 | |a DCT |b eng |e rda |c DCT |d OCLCO |d EMU |d OCLCO |d OCLCF |d GW5XE |d EBLCP | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.9.F67 |b I83 2020 | |
| 111 | 2 | |a ISoLA (Symposium) |n (9th : |d 2020 : |c Online) |0 http://id.loc.gov/authorities/names/nb2020010665. | |
| 245 | 1 | 0 | |a Leveraging applications of formal methods, verification and validation : |b 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. |n Part I / |c Tiziana Margaria, Bernhard Steffen (eds.) |
| 264 | 1 | |a Cham, Switzerland : |b Springer, |c [2020] | |
| 300 | |a 1 online resource (xxiii, 582 pages) : |b 2427 illustrations (110 in color) | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file |b PDF |2 rda. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 12476. | |
| 490 | 1 | |a LNCS sublibrary: SL1 - theoretical computer science and general issues. | |
| 504 | |a Includes bibliographical references and author index. | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 588 | |a Description based on resource, viewed January 5, 2021. | ||
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008104061. | |
| 650 | 0 | |a Computer software |x Verification |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2009121254. | |
| 650 | 0 | |a Blockchains (Databases) |v Congresses. | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247. | |
| 650 | 7 | |a Computer architecture. |2 fast |0 (OCoLC)fst00872026. | |
| 650 | 7 | |a Computer logic. |2 fast |0 (OCoLC)fst00872265. | |
| 650 | 7 | |a Software engineering. |2 fast |0 (OCoLC)fst01124185. | |
| 700 | 1 | |a Margaria-Steffen, Tiziana, |d 1964- |e editor. |0 http://id.loc.gov/authorities/names/n96027280 |1 http://isni.org/isni/0000000121337735. | |
| 700 | 1 | |a Steffen, Bernhard, |e editor. |0 http://id.loc.gov/authorities/names/n95072727 |1 http://isni.org/isni/0000000121345014. | |
| 776 | 0 | 8 | |i Printed edition: |z 9783030613617. |
| 776 | 0 | 8 | |i Printed edition: |z 9783030613631. |
| 776 | 0 | 8 | |i Print version: |t Leveraging Applications of Formal Methods, Verification and Validation. |n Part I: Verification Principles |d Cham : Springer International Publishing AG,c2020 |z 9783030613624. |
| 830 | 0 | |a Lecture notes in computer science ; |v 12476. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. |0 http://id.loc.gov/authorities/names/no2007042902. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-61362-4 |z Full Text (via Springer) |
| 907 | |a .b117292631 |b 03-02-21 |c 02-03-21 | ||
| 998 | |a web |b 02-28-21 |c b |d b |e - |f eng |g sz |h 0 |i 1 | ||
| 907 | |a .b117292631 |b 03-01-21 |c 02-03-21 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 915 | |a - | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Computer Science eBooks 2020 English+International | ||
| 999 | f | f | |i 846c8837-fe23-5dfe-a51f-5526b5294c01 |s 453272c6-4376-5098-bf1a-1bd44511a7b8 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.9.F67 I83 2020 |h Library of Congress classification |i web |n 1 |