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 /
Saved in:
| Meeting name: | ISoLA (Symposium) (9th : 2020 : Online) |
|---|---|
| Imprint: | Cham, Switzerland : Springer, [2020] |
| Description: | 1 online resource (xxiii, 582 pages) : 2427 illustrations (110 in color) |
| Language: | English |
| Series: | Lecture notes in computer science ; 12476 LNCS sublibrary: SL1 - theoretical computer science and general issues Lecture notes in computer science ; 12476. LNCS sublibrary. SL 1, Theoretical computer science and general issues. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/12609376 |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 12609376 | ||
| 005 | 20210813213023.0 | ||
| 006 | m d | ||
| 007 | cr nn||||mamaa | ||
| 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 |2 doi | |
| 035 | |a (OCoLC)1225898384 |z (OCoLC)1204141681 | ||
| 035 | 9 | |a (OCLCCM-CC)1225898384 | |
| 037 | |b Springer | ||
| 040 | |a DCT |b eng |e rda |c DCT |d OCLCO |d EMU |d OCLCO |d OCLCF |d GW5XE |d EBLCP |d OCL | ||
| 049 | |a MAIN | ||
| 050 | 4 | |a QA76.9.F67 |b I83 2020 | |
| 072 | 7 | |a UMZ |2 bicssc | |
| 072 | 7 | |a COM051230 |2 bisacsh | |
| 072 | 7 | |a UMZ |2 thema | |
| 072 | 7 | |a UL |2 thema | |
| 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. | |
| 650 | 0 | |a Computer software |x Verification |v Congresses. | |
| 650 | 0 | |a Blockchains (Databases) |v Congresses. | |
| 650 | 7 | |a Blockchains (Databases) |2 fast |0 (OCoLC)fst01981761 | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast |0 (OCoLC)fst00932926 | |
| 650 | 7 | |a Computer software |x Verification. |2 fast |0 (OCoLC)fst00872604 | |
| 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 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 4 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft |0 http://id.loc.gov/authorities/genreForms/gf2014026068 | |
| 655 | 0 | |a Electronic books. | |
| 700 | 1 | |a Margaria-Steffen, Tiziana, |d 1964- |e editor. |0 http://id.loc.gov/authorities/names/n96027280 | |
| 700 | 1 | |a Steffen, Bernhard, |e editor. |0 http://id.loc.gov/authorities/names/n95072727 | |
| 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 | |
| 903 | |a HeVa | ||
| 929 | |a oclccm | ||
| 999 | f | f | |i 14a3fec2-33e8-5fce-b457-dee58b4b2071 |s 846211f2-3af8-5491-af7c-8a3db99fcfd2 |
| 928 | |t Library of Congress classification |a QA76.9.F67 I83 2020 |l Online |c UC-FullText |u https://link.springer.com/10.1007/978-3-030-61362-4 |z Springer Nature |g ebooks |i 12624984 | ||