Leveraging applications of formal methods, verification and validation : Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings. Part III /
Saved in:
Meeting name: | ISoLA (Symposium) (9th : 2020 : Online) |
---|---|
Imprint: | Cham : Springer, 2020. |
Description: | 1 online resource (xv, 490 p.) : ill. (some col.). |
Language: | English |
Series: | Lecture notes in computer science ; 12478 LNCS sublibrary, SL 1, Theoretical Computer Science and General Issues LNCS sublibrary. SL 1, Theoretical computer science and general issues ; 12478. Lecture notes in computer science ; 12478. 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/12609359 |
MARC
LEADER | 00000cam a2200000Ii 4500 | ||
---|---|---|---|
001 | 12609359 | ||
006 | m d | ||
007 | cr nn||||mamaa | ||
008 | 201026s2020 sz a o 101 0 eng d | ||
005 | 20240509213300.2 | ||
019 | |a 1225934730 | ||
020 | |a 9783030614676 |q (electronic bk.) | ||
020 | |a 3030614670 |q (electronic bk.) | ||
020 | |z 9783030614669 | ||
024 | 7 | |a 10.1007/978-3-030-61467-6 |2 doi | |
035 | |a (OCoLC)1225892969 |z (OCoLC)1225934730 | ||
035 | 9 | |a (OCLCCM-CC)1225892969 | |
037 | |b Springer | ||
040 | |a DCT |b eng |c DCT |d OCLCO |d OCLCF |d GW5XE |d OCLCO |d UPM |d BDX |d OCL | ||
049 | |a MAIN | ||
050 | 4 | |a QA76.9.F67 |b I83 2020eb | |
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 Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings. |n Part III / |c Tiziana Margaria, Bernhard Steffen (eds.). |
246 | 3 | |a ISoLA 2020 | |
246 | 3 | |a Applications | |
264 | 1 | |a Cham : |b Springer, |c 2020. | |
300 | |a 1 online resource (xv, 490 p.) : |b ill. (some col.). | ||
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 12478 | |
490 | 1 | |a LNCS sublibrary, SL 1, Theoretical Computer Science and General Issues | |
500 | |a International conference proceedings. | ||
505 | 0 | |a Reliable Smart Contracts -- Track Introduction -- Functional Verification of Smart Contracts via Strong Data Integrity -- Bitcoin covenants unchained -- Specifying Framing Conditions for Smart Contracts -- Making Tezos smart contracts more reliable with Coq -- UTxO- vs account-based smart contract blockchain programming paradigms -- Native Custom Tokens in the Extended UTXO Model -- UTXOma: UTXO with Multi-Asset Support -- Towards Configurable and Efficient Runtime Verification of Blockchain based Smart Contracts at the Virtual Machine Level -- Compiling Quantitative Type Theory to Michelson for Compile-Time Verification & Run-time Efficiency in Juvix -- Efficient static analysis of Marlowe contracts -- Accurate Smart Contract Verification through Direct Modelling -- Smart Derivatives: On-chain Forwards for Digital Assets -- The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts -- Automated Verification of Embedded Control Software -- Track Introduction -- Model-Based Design, Verification and Deployment of Railway Interlocking System -- Guess What I'm Doing! Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems -- On the Industrial Application of Critical Software Verification with VerCors -- A Concept of Scenario Space Exploration with Criticality Coverage Guarantees -- Towards Automated Service-oriented Verification of Embedded Control Software modeled in Simulink -- Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-based Environment Modeling -- Formally Proving Compositionality in Industrial Systems with Informal Specifications -- Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems -- Formal methods for Distributed Computing in future Railway systems -- Ensuring Safety with System Level Formal Modelling -- A modular design framework to assess intelligent trains -- Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL -- New Distribution Paradigms for Railway Interlocking -- Model Checking a Distributed Interlocking System Using k-induction with RT-Tester -- Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. | |
500 | |a Includes author index. | ||
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 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed January 20, 2021). | |
650 | 0 | |a Formal methods (Computer science) |v Congresses. | |
650 | 0 | |a Computer software |x Verification |v Congresses. | |
650 | 0 | |a Software engineering |v Congresses. | |
650 | 0 | |a Software engineering. |0 http://id.loc.gov/authorities/subjects/sh87007398 | |
650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
650 | 0 | |a Artificial intelligence. |0 http://id.loc.gov/authorities/subjects/sh85008180 | |
650 | 0 | |a Computers, Special purpose. |0 http://id.loc.gov/authorities/subjects/sh85029570 | |
650 | 0 | |a Computer architecture. |0 http://id.loc.gov/authorities/subjects/sh85029479 | |
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 Computers, Special purpose. |2 fast |0 (OCoLC)fst00872901 | |
650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
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. | |
700 | 1 | |a Margaria-Steffen, Tiziana, |d 1964- |e editor. |1 https://orcid.org/0000-0002-5547-9739 |0 http://id.loc.gov/authorities/names/n96027280 | |
700 | 1 | |a Steffen, Bernhard, |e editor. |1 https://orcid.org/0000-0001-9619-1558 |0 http://id.loc.gov/authorities/names/n95072727 | |
776 | 0 | 8 | |i Printed edition: |z 9783030614669 |
776 | 0 | 8 | |i Printed edition: |z 9783030614683 |
830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues ; |v 12478. |0 http://id.loc.gov/authorities/names/no2007042902 | |
830 | 0 | |a Lecture notes in computer science ; |v 12478. |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 6c3cf3a7-90bf-57c3-a8b8-fa063690c14f |s 80e7a2ee-cbdd-5883-b87c-cb8286b5422c |
928 | |t Library of Congress classification |a QA76.9.F67 I83 2020eb |l Online |c UC-FullText |u https://link.springer.com/10.1007/978-3-030-61467-6 |z Springer Nature |g ebooks |i 12624967 |