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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Vojnar Tomáš
|
| Titolo: |
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
|
| Pubblicazione: | Springer Nature, 2019 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | |
| Edizione: | 1st ed. 2019. |
| Descrizione fisica: | 1 online resource (XXIII, 413 p. 552 illus., 55 illus. in color.) |
| Disciplina: | 005.1015113 |
| 004.21 | |
| Soggetto topico: | Computer science |
| Software engineering | |
| Machine theory | |
| Algorithms | |
| Logic design | |
| Logic programming | |
| Computer Science Logic and Foundations of Programming | |
| Software Engineering | |
| Formal Languages and Automata Theory | |
| Logic Design | |
| Logic in AI | |
| Persona (resp. second.): | VojnarTomáš |
| ZhangLijun | |
| Nota di contenuto: | 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++. |
| Sommario/riassunto: | This book is Open Access under a CC BY licence. . |
| Titolo autorizzato: | Tools and Algorithms for the Construction and Analysis of Systems |
| ISBN: | 9783030174651 |
| 3030174654 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910337838003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 11428