LEADER 03744nam  22007215  450 
001 996418216303316
005 20230329200457.0
010   $a3-030-45237-9
024 7 $a10.1007/978-3-030-45237-7
035   $a(CKB)4100000011223250
035   $a(DE-He213)978-3-030-45237-7
035   $a(MiAaPQ)EBC6420077
035   $a(Au-PeEL)EBL6420077
035   $a(OCoLC)1152158222
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/33908
035   $a(PPN)243761058
035   $a(EXLCZ)994100000011223250
100   $a20200417d2020      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTools and Algorithms for the Construction and Analysis of Systems$b[electronic resource] $e26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25?30, 2020, Proceedings, Part II /$fedited by Armin Biere, David Parker
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XXIII, 425 p. 1 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12079
311   $a3-030-45236-0 
327   $aBisimulation -- Verification and Efficiency -- Logic and Proof -- Tools and Case Studies -- Games and Automata -- SV-COMP 2020.
330   $aThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12079
606   $aSoftware engineering
606   $aComputers, Special purpose
606   $aComputer systems
606   $aMicroprogramming
606   $aComputer science?Mathematics
606   $aSoftware Engineering
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer System Implementation
606   $aControl Structures and Microprogramming
606   $aMathematics of Computing
615  0$aSoftware engineering.
615  0$aComputers, Special purpose.
615  0$aComputer systems.
615  0$aMicroprogramming.
615  0$aComputer science?Mathematics.
615 14$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
615 24$aControl Structures and Microprogramming.
615 24$aMathematics of Computing.
676   $a005.1
700   $aBiere$b Armin$4edt$01193224
702   $aBiere$b Armin$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aParker$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996418216303316
996   $aTools and Algorithms for the Construction and Analysis of Systems$93091182
997   $aUNISA