000			04192nam a22006495i 4500
001			978-3-030-17465-1
003			DE-He213
005			20240423125046.0
007			cr nn 008mamaa
008			190403s2019 sz | s |||| 0|eng d
020			_a9783030174651 _9978-3-030-17465-1
024	7		_a10.1007/978-3-030-17465-1 _2doi
050		4	_aQA75.5-76.95
072		7	_aUYA _2bicssc
072		7	_aCOM014000 _2bisacsh
072		7	_aUYA _2thema
082	0	4	_a004.0151 _223
245	1	0	_aTools and Algorithms for the Construction and Analysis of Systems _h[electronic resource] : _b25th 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 / _cedited by Tomáš Vojnar, Lijun Zhang.
250			_a1st ed. 2019.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2019.
300			_aXXIII, 413 p. 552 illus., 55 illus. in color. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v11428
505	0		_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++.
506	0		_aOpen Access
520			_aThis book is Open Access under a CC BY licence. .
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aMachine theory.
650		0	_aAlgorithms.
650		0	_aLogic design.
650		0	_aLogic programming.
650	1	4	_aComputer Science Logic and Foundations of Programming.
650	2	4	_aSoftware Engineering.
650	2	4	_aFormal Languages and Automata Theory.
650	2	4	_aAlgorithms.
650	2	4	_aLogic Design.
650	2	4	_aLogic in AI.
700	1		_aVojnar, Tomáš. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aZhang, Lijun. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783030174644
776	0	8	_iPrinted edition: _z9783030174668
830		0	_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v11428
856	4	0	_uhttps://doi.org/10.1007/978-3-030-17465-1
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
912			_aZDB-2-SOB
942			_cSPRINGER
999			_c173758 _d173758