| Description |
1 online resource (xxiii, 413 pages) : illustrations (some color) |
| Series |
Lecture notes in computer science ; 11428 |
|
Advanced research in computing and software science |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 11428.
|
|
Lecture notes in computer science. Advanced research in computing and software science.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
[I]. Concurrent and distributed systems: 1. Checking deadlock-freedom of parametric component-based systems / Marius Bozga, Radu Iosif, and Joseph Sifakis -- 2. The mCRL2 toolset for analysing concurrent systems : improvements in expressivity and usability / Olav Bunte, Jan Friso Groote, Jeroen J.A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, and Tim A.C. Willemse -- 3. Automatic analysis of consistency properties of distributed transaction systems in Maude / Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, and José Meseguer -- 4. Multi-core on-the-fly simulation / Tom van Dijk, Jeroen Meijer, and Jaco van de Pol |
|
[II]. Monitoring and runtime verification: 5. Specification and efficient monitoring beyond STL / Alexey Bakhirkin and Nicolas Basset -- 6. VYPR2 : a framework for runtime verification of Python web services / Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, and Giacomo Govi -- 7. Constraint-based monitoring of hyperproperties / Christopher Hahn, Marvin Stenger, and Leander Tentrup |
|
[III]. Hybrid and stochastic systems: 8. Tail probabilities for randomized program runtimes via Martingales for higher moments / Satoshi Kura, Natsuki Urabe, and Ichiro Hasuo -- 9. Computing the expected execution time of probabilistic workflow nets / Philipp J. Meyer, Javier Esparza, and Philip Offtermatt -- 10. Shepherding hordes of Markov chains / Milan Češka, Nils Jansen, Sebastian Junges, and Joost-Pieter Katoen -- 11. Optimal time-bounded reachability analysis for concurrent systems / Yuliya Butkova and Gereon Fox |
|
[IV]. Synthesis: 12. Minimal-time synthesis for parametric timed automata / Étienne André, Vincent Bloemen, Laure Petrucci, and Jaco van de Pol -- 13. Environmentally-friendly GR(1) synthesis / Rupak Majumdar, Nir Piterman, and Anne-Kathrin Schmuck -- 14. StocHy : automated verification and synthesis of stochastic processes / Nathalie Cauchi and Alessandro Abate -- 15. Synthesis of symbolic controllers : a parallelized and sparsity-aware approach / Mahmoud Khaled, Eric S. Kim, Murat Arcak, and Majid Zamani |
|
[V]. Symbolic verification: 16. iRank : a variable order metric for DEDS subject to linear invariants / Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, and Andrew Miner -- 17. Binary decision diagrams with edge-specified reductions / Junaid Babar, Chuan Jiang, Gianfranco Ciardo, and Andrew Miner -- 18. Effective entailment checking for separation logic with inductive definitions / Jens Katelaan, Christoph Matheja, and Florian Zuleger |
|
[VI]. Safety and fault-tolerant systems: 19. Digital bifurcation analysis of TCP dynamics / Nikola Beneš, Luboš Brim, Samuel Pastva, and David Šafránek -- 20. Verifying safety of synchronous fault-tolerant algorithms by bounded model checking / Ilina Stoilkovska, Igor Konnov, Josef Widder, and Florian Zuleger -- 21. Measuring masking fault-tolerance / Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, and Luciano Putruele -- 22. PhASAR : an inter-procedural static analysis framework for C/C++ / Philipp Dominik Schubert, Ben Hermann, and Eric Bodden |
| Summary |
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. -- Provided by publisher |
| Notes |
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed April 11, 2019) |
| Subject |
System design -- Congresses
|
|
Computer software -- Verification -- Congresses
|
|
System analysis -- Congresses
|
|
Computer software -- Verification
|
|
System analysis
|
|
System design
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Vojnar, Tomáš, editor
|
|
Zhang, Lijun, 1979- editor.
|
|
ETAPS (Conference) (22nd : 2019 : Prague, Czech Republic)
|
| ISBN |
9783030174651 |
|
3030174654 |
|
