1.8k citations
- University of ViennaAT103 papers
- Centre National de la Recherche ScientifiqueFR98 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR50 papers
- Vienna Center for Quantum Science and TechnologyAT45 papers
- European Organization for Nuclear ResearchCH40 papers
- CEA Paris-SaclayFR35 papers
- Charles UniversityCZ35 papers
- Heidelberg UniversityDE29 papers
- Technical University of MunichDE28 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ24 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR24 papers
- University of BolognaIT24 papers
4 papers · 2 filters
Dynamic Reductions for Model Checking Concurrent Software
Henning Günther, Alfons Laarman, Ana Sokolova +1
Symbolic model checking of parallel programs stands and falls with effective methods of dealing with the explosion of interleavings. We propose a dynamic reduction technique to avo…
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic
Christina Jansen, Jens Katelaan, Christoph Matheja +2
We introduce heap automata, a formalism for automatic reasoning about robustness properties of the symbolic heap fragment of separation logic with user-defined inductive predicates…
On the automated verification of web applications with embedded SQL
Shachar Itzhaky, Tomer Kotek, Noam Rinetzky +4
A large number of web applications is based on a relational database together with a program, typically a script, that enables the user to interact with the database through embedd…
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms
Igor Konnov, Marijana Lazic, Helmut Veith +1
Distributed algorithms have many mission-critical applications ranging from embedded systems and replicated databases to cloud computing. Due to asynchronous communication, process…