Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th TACAS@ETAPS 2020: Dublin, Ireland
- Armin Biere
, David Parker:
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. Lecture Notes in Computer Science 12078, Springer 2020, ISBN 978-3-030-45189-9
Program Verification
- Dirk Beyer, Matthias Dangl:
Software Verification with PDR: An Implementation of the State of the Art. 3-21 - Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat:
Verifying Array Manipulating Programs with Full-Program Induction. 22-39 - Jan Svejda, Philipp Berger, Joost-Pieter Katoen:
Interpretation-Based Violation Witness Validation for C: NITWIT. 40-57 - Florian Frohn:
A Calculus for Modular Loop Acceleration. 58-76
SAT and SMT
- Takamasa Okudono, Andy King:
Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. 79-96 - Daniele Ahmed, Andrea Peruffo, Alessandro Abate:
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. 97-114 - Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid:
A Study of Symmetry Breaking Predicates and Model Counting. 115-134 - Jaroslav Bendík, Ivana Cerná:
MUST: Minimal Unsatisfiable Subsets Enumeration Tool. 135-152
Timed and Dynamical Systems
- Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta:
Safe Decomposition of Startup Requirements: Verification and Synthesis. 155-172 - Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra:
Multi-agent Safety Verification Using Symmetry Transformations. 173-190 - Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada:
Relational Differential Dynamic Logic. 191-208
Verifying Concurrent Systems
- Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald:
Assume, Guarantee or Repair. 211-227 - Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel:
Structural Invariants for the Verification of Systems with Parameterized Architectures. 228-246 - Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol:
Automated Verification of Parallel Nested DFS. 247-265 - Ruben Hamers, Sung-Shik Jongmans:
Discourje: Runtime Verification of Communication Protocols in Clojure. 266-284
Probabilistic Systems
- Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. 287-305 - Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. 306-323 - Florian Funke, Simon Jantsch, Christel Baier:
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints. 324-345 - Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour:
Simple Strategies in Multi-Objective MDPs. 346-364
Model Checking and Reachability
- Makai Mann, Clark W. Barrett:
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware. 367-386 - S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury:
Revisiting Underapproximate Reachability for Multipushdown Systems. 387-404 - Alex Dixon, Ranko Lazic:
KReach: A Tool for Reachability in Petri Nets. 405-412 - Aman Goel, Karem A. Sakallah:
AVR: Abstractly Verifying Reachability. 413-422
Timed and Probabilistic Systems
- Simon Wimmer, Joshua von Mutius:
Verified Certification of Reachability Checking for Timed Automata. 425-443 - Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning One-Clock Timed Automata. 444-462 - Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga:
Rare Event Simulation for Non-Markovian Repairable Fault Trees. 463-482 - Carlos E. Budde:
FIG: The Finite Improbability Generator. 483-491 - Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Mora - Automatic Generation of Moment-Based Invariants. 492-498
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
