LEADER 03370nam  22006373u 450 
001 9910555237203321
005 20230221130000.0
010   $a3-030-99527-5
035   $a(CKB)5850000000014420
035   $aEBL6942731
035   $a(AU-PeEL)EBL6942731
035   $a(MiAaPQ)EBC6942731
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/81346
035   $a(PPN)261518283
035   $a(EXLCZ)995850000000014420
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. Part II 
210   $aCham $cSpringer International Publishing AG$d2022
215   $a1 online resource (xxi, 493 pages) $cillustrations
225 1 $aLecture notes in computer science$vv.13244
300   $aDescription based upon print version of record.
311 1 $a3-030-99526-7 
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$v13244.
606   $aComputer software$xVerification$vCongresses
606   $aSystem analysis$vCongresses
606   $aSystem design$vCongresses
610   $aembedded systems
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   $asoftware and hardware verification
610   $aspecification and verification techniques
610   $astatic and dynamic program analysis
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
801  0$bAU-PeEL
801  1$bAU-PeEL
801  2$bAU-PeEL
906   $aBOOK
912   $a9910555237203321
996   $aTools and Algorithms for the Construction and Analysis of Systems$92871957
997   $aUNINA