001440353 000__ 05182cam\a2200637\a\4500
001440353 001__ 1440353
001440353 003__ OCoLC
001440353 005__ 20230309004558.0
001440353 006__ m\\\\\o\\d\\\\\\\\
001440353 007__ cr\un\nnnunnun
001440353 008__ 211016s2021\\\\sz\\\\\\o\\\\\101\0\eng\d
001440353 019__ $$a1276932345$$a1277009798
001440353 020__ $$a9783030888855$$q(electronic bk.)
001440353 020__ $$a3030888851$$q(electronic bk.)
001440353 020__ $$z3030888843
001440353 020__ $$z9783030888848
001440353 0247_ $$a10.1007/978-3-030-88885-5$$2doi
001440353 035__ $$aSP(OCoLC)1276850469
001440353 040__ $$aYDX$$beng$$epn$$cYDX$$dGW5XE$$dOCLCF$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001440353 049__ $$aISEA
001440353 050_4 $$aQA76.9.A96
001440353 08204 $$a006.3/33$$223
001440353 1112_ $$aATVA (Symposium)$$n(19th :$$d2021 :$$cOnline)
001440353 24510 $$aAutomated technology for verification and analysis :$$b19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings /$$cZhe Hou, Vijay Ganesh (eds.).
001440353 2463_ $$aATVA 2021
001440353 260__ $$aCham, Switzerland :$$bSpringer,$$c2021.
001440353 300__ $$a1 online resource
001440353 336__ $$atext$$btxt$$2rdacontent
001440353 337__ $$acomputer$$bc$$2rdamedia
001440353 338__ $$aonline resource$$bcr$$2rdacarrier
001440353 4901_ $$aLecture notes in computer science ;$$v12971
001440353 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
001440353 500__ $$a"However, due to the COVID-19 pandemic and travel restrictions, the Steering Committee decided to host the conference virtually during October 18-22, 2021"--Preface
001440353 500__ $$aIncludes author index.
001440353 5050_ $$aInvited Paper -- Linear Temporal Logic From Infinite to Finite Horizon -- Automata Theory -- Determinization and Limit-determinization of Emerson-Lei automata -- Automatic discovery of fair paths in infinite-state transition systems -- Certifying DFA Bounds for Recognition and Separation -- Machine Learning for Formal Methods -- AALpy: An Active Automata Learning Library -- Learning Linear Temporal Properties from Noisy Data: A MaxSAT-based Approach -- Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems -- Theorem Proving and Tools -- A Formal Semantics of the GraalVM Intermediate Representation -- A Verified Decision Procedure for Orders in Isabelle/HOL -- PJBDD: A BDD Library for Java and Multi-Threading -- Model Checking -- Live Synthesis -- Faster Pushdown Reachability Analysis with Applications in Network Verification -- Verifying Verified Code -- Probabilistic Analysis -- Probabilistic causes in Markov Chains -- TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments -- AQUA: Automated Quantized Inference for Probabilistic Programs -- Software and Hardware Verification -- Proving SIFA Protection of Masked Redundant Circuits -- Verification by Gambling on Program Slices -- Runtime Enforcement of Hyperproperties -- System Synthesis and Approximation -- Compositional Synthesis of Modular Systems -- Event-B Refinement for Continuous Behaviours Approximation -- Incorporating Monitors in Reactive Synthesis without Paying the Price -- Verification of Machine Learning -- pyNever: a Framework for Learning and Verification of Neural Networks -- Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.
001440353 506__ $$aAccess limited to authorized users.
001440353 520__ $$aThis book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.
001440353 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 22, 2021).
001440353 650_0 $$aAutomatic theorem proving$$vCongresses.
001440353 650_0 $$aArtificial intelligence$$vCongresses.
001440353 650_6 $$aThéorèmes$$xDémonstration automatique$$vCongrès.
001440353 650_6 $$aIntelligence artificielle$$vCongrès.
001440353 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001440353 655_7 $$aConference papers and proceedings.$$2lcgft
001440353 655_7 $$aActes de congrès.$$2rvmgf
001440353 655_0 $$aElectronic books.
001440353 7001_ $$aHou, Zhe$$c(Lecturer),$$eeditor.
001440353 7001_ $$aGanesh, Vijay,$$eeditor.
001440353 830_0 $$aLecture notes in computer science ;$$v12971.
001440353 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
001440353 852__ $$bebk
001440353 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-88885-5$$zOnline Access$$91397441.1
001440353 909CO $$ooai:library.usi.edu:1440353$$pGLOBAL_SET
001440353 980__ $$aBIB
001440353 980__ $$aEBOOK
001440353 982__ $$aEbook
001440353 983__ $$aOnline
001440353 994__ $$a92$$bISE