![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
21st ATVA 2023: Singapore - Part II
- Étienne André
, Jun Sun
:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science 14216, Springer 2023, ISBN 978-3-031-45331-1
Temporal Logics
- Oyendrila Dobe
, Stefan Schupp
, Ezio Bartocci
, Borzoo Bonakdarpour
, Axel Legay
, Miroslav Pajic
, Yu Wang
:
Lightweight Verification of Hyperproperties. 3-25 - Simon Lutz, Daniel Neider, Rajarshi Roy:
Specification Sketching for Linear Temporal Logic. 26-48
Data Structures and Heuristics
- Yushen Huang
, Ertai Luo
, Stanley Bak
, Yifan Sun
:
On the Difficulty of Intersection Checking with Polynomial Zonotopes. 51-71 - Steffan Christ Sølvsten
, Jaco van de Pol
:
Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. 72-92 - Adam Chen
, Parisa Fathololumi
, Mihai Nicola
, Jared Pincus
, Tegan Brennan
, Eric Koskinen
:
Better Predicates and Heuristics for Improved Commutativity Synthesis. 93-113
Verification of Programs and Hardware
- Omer Rappoport
, Orna Grumberg
, Yakir Vizel
:
Structure-Guided Solution of Constrained Horn Clauses. 117-138 - Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas:
Automated Property Directed Self Composition. 139-158 - Kenny Ballou
, Elena Sherman
:
Minimally Comparing Relational Abstract Domains. 159-175 - Parosh Aziz Abdulla
, Mohamed Faouzi Atig
, Frederik Meyer Bønneland
, Sarbojit Das
, Bengt Jonsson
, Magnus Lång
, Konstantinos Sagonas
:
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. 176-198 - Dimitrios Thanos, Tim Coopmans, Alfons Laarman:
Fast Equivalence Checking of Quantum Circuits of Clifford Gates. 199-216 - Morgan McColl
, Callum McColl
, René Hexel
:
Automatic Verification of High-Level Executable Models Running on FPGAs. 217-234
Tool Papers
- Ethan Lew
, Abdelrahman Hekal
, Kostiantyn Potomkin
, Niklas Kochdumper
, Brandon Hencey
, Stanley Bak
, Sergiy Bogomolov
:
AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. 237-250 - Bernd Finkbeiner
, Florian Kohn
, Malte Schledjewski
:
Leveraging Static Analysis: An IDE for RTLola. 251-262 - Clément Aubert
, Thomas Rubiano, Neea Rusch
, Thomas Seiller
:
pymwp: A Static Analyzer Determining Polynomial Growth Bounds. 263-275 - Shaun Azzopardi
, David Lidell
, Nir Piterman
, Gerardo Schneider
:
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. 276-287 - Zitong Zhou, Zixin Huang, Sasa Misailovic:
AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference. 288-301 - Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra:
RTAEval: A Framework for Evaluating Runtime Assurance Logic. 302-313 - Raven Beutner
, Bernd Finkbeiner
, Hadar Frenkel
, Julian Siber
:
Checking and Sketching Causes on Temporal Sequences. 314-327
![](https://dblp.org/img/cog.dark.24x24.png)
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.