001438752 000__ 05215cam\a2200685\i\4500
001438752 001__ 1438752
001438752 003__ OCoLC
001438752 005__ 20230309004352.0
001438752 006__ m\\\\\o\\d\\\\\\\\
001438752 007__ cr\un\nnnunnun
001438752 008__ 210807s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001438752 019__ $$a1263872831
001438752 020__ $$a9783030837235$$q(electronic bk.)
001438752 020__ $$a3030837238$$q(electronic bk.)
001438752 020__ $$z9783030837228
001438752 020__ $$z303083722X
001438752 0247_ $$a10.1007/978-3-030-83723-5$$2doi
001438752 035__ $$aSP(OCoLC)1263023710
001438752 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dEBLCP$$dOCLCO$$dOCLCF$$dOCLCO$$dOCLCQ$$dOCLCO$$dOCLCQ
001438752 049__ $$aISEA
001438752 050_4 $$aQA76.9.F67$$bI83 2020
001438752 08204 $$a005.1$$223
001438752 1112_ $$aISoLA (Symposium)$$n(9th :$$d2020 :$$cOnline)
001438752 24510 $$aLeveraging applications of formal methods, verification and validation :$$btools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.$$nPart IV /$$cTiziana Margaria, Bernhard Steffen (eds.).
001438752 24630 $$aISoLA 2020
001438752 264_1 $$aCham :$$bSpringer,$$c[2021]
001438752 264_4 $$c©2021
001438752 300__ $$a1 online resource :$$billustrations (chiefly color)
001438752 336__ $$atext$$btxt$$2rdacontent
001438752 337__ $$acomputer$$bc$$2rdamedia
001438752 338__ $$aonline resource$$bcr$$2rdacarrier
001438752 4901_ $$aLecture notes in computer science ;$$v12479
001438752 4901_ $$aLNCS sublibrary: SL1 - Theoretical computer science and general issues
001438752 500__ $$aInternational conference proceedings.
001438752 500__ $$aConference held virtually due to the COVID-19 pandemic.
001438752 500__ $$aIncludes author index.
001438752 5050_ $$aFrom Verification to Explanation (Track Introduction) -- An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces -- TraceVis: Towards Visualization for Deep Statistical Model Checking -- Engineering of Digital Twins for Cyber-Physical Systems -- Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model -- Uncertainty quantification and runtime monitoring using environment-aware digital twins -- Designing Distributed Control with Hybrid Active Objects -- Towards a Digital Twin -- Modelling an Agricultural Vehicle -- Digital Modelling in the Railways -- Engineering a Digital Twin for Manual Assembling -- Towards Digital Twins for Knowledge-driven Construction Progress and Predictive Safety Analysis on a Construction Site -- Software Verification Tools (Track Introduction) -- Benchmarking Open-Source Static Analyzers for Security Testing for C -- Verification of Liveness and Safety in BP using BPjs -- On Correctness, Precision, and Performance in Quantitative Verification -- Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees.
001438752 506__ $$aAccess limited to authorized users.
001438752 520__ $$aThe four-volume set LNCS 12476 - 12479 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 2030, 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. Part IV, Tools and Trends: From Verification to Explanation; Engineering of Digital Twins for Cyber-Physical Systems; Software Verification Tools.
001438752 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 16, 2021).
001438752 650_0 $$aFormal methods (Computer science)$$vCongresses.
001438752 650_0 $$aComputer software$$xVerification$$vCongresses.
001438752 650_0 $$aSoftware engineering$$vCongresses.
001438752 650_6 $$aMéthodes formelles (Informatique)$$vCongrès.
001438752 650_6 $$aLogiciels$$xVérification$$vCongrès.
001438752 650_6 $$aGénie logiciel$$vCongrès.
001438752 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001438752 655_7 $$aConference papers and proceedings.$$2lcgft
001438752 655_7 $$aActes de congrès.$$2rvmgf
001438752 655_0 $$aElectronic books.
001438752 7001_ $$aMargaria-Steffen, Tiziana,$$d1964-$$eeditor.
001438752 7001_ $$aSteffen, Bernhard,$$eeditor.
001438752 830_0 $$aLecture notes in computer science ;$$v12479.
001438752 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001438752 852__ $$bebk
001438752 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-83723-5$$zOnline Access$$91397441.1
001438752 909CO $$ooai:library.usi.edu:1438752$$pGLOBAL_SET
001438752 980__ $$aBIB
001438752 980__ $$aEBOOK
001438752 982__ $$aEbook
001438752 983__ $$aOnline
001438752 994__ $$a92$$bISE