Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I — 1st ed. 2020. (English)
Free access
- New search for: Biere, Armin
- Further information on Biere, Armin:
- http://d-nb.info/gnd/115751823
- New search for: Parker, David
- Further information on Parker, David:
- http://d-nb.info/gnd/1197568387
2020
-
ISBN:
- Conference Proceedings / Electronic Resource
-
Title:Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
-
Contributors:Biere, Armin ( editor ) / Parker, David ( editor )
-
Published in:
-
Edition:1st ed. 2020.
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2020
-
Size:1 Online-Ressource(XXIII, 501 p. 1 illus.)
-
Remarks:Open Access
-
ISBN:
-
DOI:
-
Type of media:Conference Proceedings
-
Type of material:Electronic Resource
-
Language:English
- New search for: 004.0151
- Further information on Dewey Decimal Classification
- New search for: 54.52
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Software Verification with PDR: An Implementation of the State of the ArtBeyer, Dirk / Dangl, Matthias et al. | 2020
- 22
-
Verifying Array Manipulating Programs with Full-Program InductionChakraborty, Supratik / Gupta, Ashutosh / Unadkat, Divyesh et al. | 2020
- 40
-
Interpretation-Based Violation Witness Validation for C: NITWITSvejda, Jan / Berger, Philipp / Katoen, Joost-Pieter et al. | 2020
- 58
-
A Calculus for Modular Loop AccelerationFrohn, Florian et al. | 2020
- 79
-
Mind the Gap: Bit-vector Interpolation recast over Linear Integer ArithmeticOkudono, Takamasa / King, Andy et al. | 2020
- 97
-
Automated and Sound Synthesis of Lyapunov Functions with SMT SolversAhmed, Daniele / Peruffo, Andrea / Abate, Alessandro et al. | 2020
- 115
-
A Study of Symmetry Breaking Predicates and Model CountingWang, Wenxi / Usman, Muhammad / Almaawi, Alyas / Wang, Kaiyuan / Meel, Kuldeep S. / Khurshid, Sarfraz et al. | 2020
- 135
-
MUST: Minimal Unsatisfiable Subsets Enumeration ToolBendik, Jaroslav / Cernd, Ivana et al. | 2020
- 155
-
Safe Decomposition of Startup Requirements: Verification and SynthesisCimatti, Alessandro / Geatti, Luca / Griggio, Alberto / Kimberly, Greg / Tonetta, Stefano et al. | 2020
- 173
-
Multi-agent Safety Verification Using Symmetry TransformationsSibai, Hussein / Mokhlesi, Navid / Fan, Chuchu / Mitra, Sayan et al. | 2020
- 191
-
Relational Differential Dynamic Logic.Kolcák, Juraj / Dubut, Jérémy / Hasuo, Ichiro / Katsumata, Shin-ya / Sprunger, David / Yamada, Akihisa et al. | 2020
- 211
-
Assume, Guarantee or RepairFrenkel, Hadar / Grumberg, Orna / Pasareanu, Corina / Sheinvald, Sarai et al. | 2020
- 228
-
Structural Invariants for the Verification of Systems with Parameterized ArchitecturesBozga, Marius / Esparza, Javier / Iosif, Radu / Sifakis, Joseph / Welzel, Christoph et al. | 2020
- 247
-
Automated Verification of Parallel Nested DFSOortwijn, Wytse / Huisman, Marieke / Joosten, Sebastiaan J. C. / Pol, Jaco van de et al. | 2020
- 266
-
Discourje: Runtime Verification of Communication Protocols in ClojureHamers, Ruben / Jongmans, Sung-Shik et al. | 2020
- 287
-
Scenario-Based Verification of Uncertain MDPsKatoen,, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter / Topcu, Ufuk et al. | 2020
- 306
-
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement LearningHahn, Ernst Moritz / Perez, Mateo / Schewe, Sven / Somenzi, Fabio / Trivedi, Ashutosh / Wojtczak, Dominik et al. | 2020
- 324
-
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability ConstraintsFunke, Florian / Jantsch, Simon / Baier, Christel et al. | 2020
- 346
-
Simple Strategies in Multi-Objective MDPsDelgrange, Florent / Katoen, Joost-Pieter / Quatmann, Tim / Randour, Mickael et al. | 2020
- 367
-
Partial Order Reduction for Deep Bug Finding in Synchronous HardwareMann, Makai / Barrett, Clark et al. | 2020
- 387
-
Revisiting Underapproximate Reachability for Multipushdown SystemsAkshay, S. / Gastin, Paul / Krishna, S / Roychowdhury, Sparsa et al. | 2020
- 405
-
KReach: A Tool for Reachability in Petri NetsDixon, Alex / Lazic, Ranko et al. | 2020
- 413
-
AVR: Abstractly Verifying ReachabilityGoel, Aman / Sakallah, Karem et al. | 2020
- 425
-
Verified Certification of Reachability Checking for Timed AutomataWimmer, Simon / Mutius, Joshua von et al. | 2020
- 444
-
Learning One-Clock Timed AutomataAn, Jie / Chen, Mingshuai / Zhan, Bohua / Zhan, Naijun / Zhang, Miaomiao et al. | 2020
- 463
-
Rare Event Simulation for Non-Markovian Repairable Fault TreesBudde, Carlos E. / Biagi, Marco / Monti, Raul E. / D'Argenio, Pedro R. / Stoelinga, Mariélle et al. | 2020
- 483
-
FIG: The Finite Improbability GeneratorBudde, Carlos E. et al. | 2020
- 492
-
Mora - Automatic Generation of Moment-Based InvariantsBartocci, Ezio / Kovács, Laura / Stankovic, Miroslav et al. | 2020