001430997 000__ 05864cam\a2200685\i\4500
001430997 001__ 1430997
001430997 003__ OCoLC
001430997 005__ 20230308003216.0
001430997 006__ m\\\\\o\\d\\\\\\\\
001430997 007__ cr\cn\nnnunnun
001430997 008__ 210402s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001430997 019__ $$a1249945013
001430997 020__ $$a9783030720162$$q(electronic bk.)
001430997 020__ $$a3030720160$$q(electronic bk.)
001430997 020__ $$z9783030720155$$q(print)
001430997 0247_ $$a10.1007/978-3-030-72016-2$$2doi
001430997 035__ $$aSP(OCoLC)1244539366
001430997 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dEBLCP$$dOCLCF$$dLEATE$$dOCLCO$$dOCLCQ$$dOCLCO$$dCOM$$dOCLCO$$dOCLCQ
001430997 049__ $$aISEA
001430997 050_4 $$aQA76.9.S88
001430997 08204 $$a004.2/1$$223
001430997 1112_ $$aTACAS (Conference)$$n(27th :$$d2021 :$$cOnline)
001430997 24510 $$aTools and algorithms for the construction and analysis of systems :$$b27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings.$$nPart I /$$cJan Friso Groote, Kim Guldstrand Larsen (eds.).
001430997 2463_ $$aTACAS 2021
001430997 264_1 $$aCham :$$bSpringer,$$c2021.
001430997 300__ $$a1 online resource (xxi, 471 pages) :$$billustrations
001430997 336__ $$atext$$btxt$$2rdacontent
001430997 337__ $$acomputer$$bc$$2rdamedia
001430997 338__ $$aonline resource$$bcr$$2rdacarrier
001430997 4901_ $$aLecture notes in computer science ;$$v12651
001430997 4901_ $$aAdvanced research in computing and software science
001430997 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
001430997 500__ $$a"TACAS 2021 was part of the 24th European Joint Conferences on Theory and Practice of Software (ETAPS 2021), which although originally planned to take place in Luxembourg City, was held as an online event on March 27 to April 1 due the the COVID-19 pandemic."--Preface
001430997 500__ $$aIncludes author index.
001430997 5050_ $$aGame Theory -- A Game for Linear-time -- Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis.
001430997 5060_ $$aOpen access.$$5GW5XE
001430997 520__ $$aThis open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27-April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
001430997 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 2, 2021).
001430997 650_0 $$aSystem design$$vCongresses.
001430997 650_0 $$aComputer software$$xVerification$$vCongresses.
001430997 650_0 $$aSystem analysis$$vCongresses.
001430997 650_6 $$aConception de systèmes$$vCongrès.
001430997 650_6 $$aLogiciels$$xVérification$$vCongrès.
001430997 650_6 $$aAnalyse de systèmes$$vCongrès.
001430997 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001430997 655_7 $$aConference papers and proceedings.$$2lcgft
001430997 655_7 $$aActes de congrès.$$2rvmgf
001430997 655_0 $$aElectronic books.
001430997 7001_ $$aGroote, J. F.$$q(Jan Friso),$$d1965-$$eeditor$$1https://orcid.org/0000-0003-2196-6587
001430997 7001_ $$aLarsen, K. G.$$q(Kim G.),$$d1957-$$eeditor$$1https://orcid.org/0000-0002-5953-3384
001430997 7112_ $$aETAPS (Conference)$$n(24th :$$d2021 :$$cOnline)
001430997 830_0 $$aLecture notes in computer science ;$$v12651.
001430997 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
001430997 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001430997 852__ $$bebk
001430997 85640 $$3Springer Nature$$uhttps://link.springer.com/10.1007/978-3-030-72016-2$$zOnline Access$$91397441.2
001430997 909CO $$ooai:library.usi.edu:1430997$$pGLOBAL_SET
001430997 980__ $$aBIB
001430997 980__ $$aEBOOK
001430997 982__ $$aEbook
001430997 983__ $$aOnline
001430997 994__ $$a92$$bISE