LEADER 03461nam  22006493u 450 
001 996464536603316
005 20230221131410.0
010   $a3-030-99524-0
035   $a(CKB)5860000000038043
035   $aEBL6942717
035   $a(AU-PeEL)EBL6942717
035   $a(MiAaPQ)EBC6942717
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/81626
035   $a(PPN)261518305
035   $a(EXLCZ)995860000000038043
100   $a20220617d2022||||  uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTools and algorithms for the construction and analysis of systems $e28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings$feditors, Dana Fisman, Grigore Rosu
210   $aCham $cSpringer International Publishing AG$d2022
215   $a1 online resource (xxii, 583 pages) $cillustrations
225 1 $aLecture notes in computer science$vv.13243
300   $aDescription based upon print version of record.
300   $aIncludes author index.
311 1 $a3-030-99523-2 
330   $aThis open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.
410  0$aLecture notes in computer science$v13243.
606   $aComputer software$xVerification$vCongresses
606   $aSystem analysis$vCongresses
606   $aSystem design$vCongresses
610   $aformal languages and automata theory
610   $aFormal methods and theory of security
610   $aMachine learning
610   $aModeling and simulation
610   $aSemantics and reasoning
610   $asignal processing
610   $asoftware and hardware verification
610   $aspecification and verification techniques
610   $aSymbolic and algebraic manipulation
610   $asystem construction and transformation techniques
615  0$aComputer software$xVerification
615  0$aSystem analysis
615  0$aSystem design
700   $aFisman$b Dana$4edt$01072889
701   $aFisman$b Dana$01072889
701   $aRosu$b Grigore$01237102
712 12$aTACAS (Conference)$d(28th :$f2022 :$eMunich, Germany; online)
801  0$bAU-PeEL
801  1$bAU-PeEL
801  2$bAU-PeEL
906   $aBOOK
912   $a996464536603316
996   $aTools and Algorithms for the Construction and Analysis of Systems$92871957
997   $aUNISA