國立虎尾科技大學 |

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles/ edited by Tiziana Margaria, Bernhard Steffen.
其他題名:	9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I /
其他作者:	Margaria, Tiziana.
面頁冊數:	XXIII, 582 p. 2427 illus., 110 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-030-61362-4
ISBN:	9783030613624

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I /
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I /[electronic resource] :edited by Tiziana Margaria, Bernhard Steffen. - 1st ed. 2020. - XXIII, 582 p. 2427 illus., 110 illus. in color.online resource. - Theoretical Computer Science and General Issues ;12476. - Theoretical Computer Science and General Issues ;9163.

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.

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. .

ISBN: 9783030613624

Standard No.: 10.1007/978-3-030-61362-4doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I /
LDR:04772nam a22004215i 4500 001 1019427
003 DE-He213
005 20201028134952.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030613624 $9 978-3-030-61362-4
024 7 $a 10.1007/978-3-030-61362-4 $2 doi
035 $a 978-3-030-61362-4
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
072 7 $a UL $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles $h [electronic resource] : $b 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I / $c edited by Tiziana Margaria, Bernhard Steffen.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XXIII, 582 p. 2427 illus., 110 illus. in color. $b online resource.
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 Theoretical Computer Science and General Issues ; $v 12476
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. .
650 0 $a Software engineering. $3 562952
650 0 $a Computer logic. $3 786340
650 0 $a Artificial intelligence. $3 559380
650 0 $a Architecture, Computer. $3 1255731
650 1 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computer System Implementation. $3 669803
700 1 $a Margaria, Tiziana. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 882002
700 1 $a Steffen, Bernhard. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 883233
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030613617
776 0 8 $i Printed edition: $z 9783030613631
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-030-61362-4
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)