Eintrag weiter verarbeiten

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice...

Gespeichert in:

Personen und Körperschaften: Vojnar, Tomáš (HerausgeberIn), Zhang, Lijun (HerausgeberIn), TACAS 25. 2019 Prag (VerfasserIn), ETAPS 22. 2019 Prag (VerfasserIn)
Titel: Tools and Algorithms for the Construction and Analysis of Systems: 25th 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/ edited by Tomáš Vojnar, Lijun Zhang
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Cham Springer [2019]
Gesamtaufnahme: Springer eBooks
Lecture notes in computer science ; 11428
Schlagwörter:
Verfügbar auch als: Druck-Ausgabe TACAS (25. : 2019 : Prag), Tools and algorithms for the construction and analysis of systems ; Part 2, Cham : Springer, 2019, xxiii, 413 Seiten
Quelle: Verbunddaten SWB
Lizenzfreie Online-Ressourcen
Zugangsinformationen: Elektronischer Volltext - Open Access, Zugang über SpringerLink
Details
Zusammenfassung: Concurrent 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++
This book is Open Access under a CC BY licence
Umfang: 1 Online-Ressource (XXIII, 413 p. 552 illus., 55 illus. in color)
ISBN: 9783030174651
DOI: 10.1007/978-3-030-17465-1
Zugang: Open Access