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
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.