LEADER 04504nam  22007695  450 
001 996466301303316
005 20230329165336.0
010   $a3-030-17465-4
024 7 $a10.1007/978-3-030-17465-1
035   $a(CKB)4100000007823628
035   $a(DE-He213)978-3-030-17465-1
035   $a(MiAaPQ)EBC5919232
035   $a(Au-PeEL)EBL5919232
035   $a(OCoLC)1096325764
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/27821
035   $a(PPN)235668532
035   $a(EXLCZ)994100000007823628
100   $a20190403d2019      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] $e25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings, Part II /$fedited by Tomá? Vojnar, Lijun Zhang
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XXIII, 413 p. 552 illus., 55 illus. in color.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11428
311   $a3-030-17464-6 
327   $aConcurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.
330   $aThis book is Open Access under a CC BY licence. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11428
606   $aComputer science
606   $aSoftware engineering
606   $aMachine theory
606   $aAlgorithms
606   $aLogic design
606   $aLogic programming
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aAlgorithms
606   $aLogic Design
606   $aLogic in AI
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aAlgorithms.
615  0$aLogic design.
615  0$aLogic programming.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aAlgorithms.
615 24$aLogic Design.
615 24$aLogic in AI.
676   $a005.1015113
700   $aVojnar$b Tomá?$4edt$01351226
702   $aVojnar$b Tomá?$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZhang$b Lijun$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466301303316
996   $aTools and Algorithms for the Construction and Analysis of Systems$93091183
997   $aUNISA