Abstract is missing.
- Lightweight Verification of HyperpropertiesOyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang 0044. 3-25 [doi]
- Specification Sketching for Linear Temporal LogicSimon Lutz, Daniel Neider, Rajarshi Roy 0002. 26-48 [doi]
- On the Difficulty of Intersection Checking with Polynomial ZonotopesYushen Huang, Ertai Luo, Stanley Bak, Yifan Sun 0001. 51-71 [doi]
- Predicting Memory Demands of BDD Operations Using Maximum Graph CutsSteffan Christ Sølvsten, Jaco van de Pol. 72-92 [doi]
- Better Predicates and Heuristics for Improved Commutativity SynthesisAdam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen. 93-113 [doi]
- Structure-Guided Solution of Constrained Horn ClausesOmer Rappoport, Orna Grumberg, Yakir Vizel. 117-138 [doi]
- Automated Property Directed Self CompositionAkshatha Shenoy 0001, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas. 139-158 [doi]
- Minimally Comparing Relational Abstract DomainsKenny Ballou, Elena Sherman. 159-175 [doi]
- Tailoring Stateless Model Checking for Event-Driven Multi-threaded ProgramsParosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson 0001, Magnus Lång, Konstantinos Sagonas. 176-198 [doi]
- Fast Equivalence Checking of Quantum Circuits of Clifford GatesDimitrios Thanos, Tim Coopmans, Alfons Laarman. 199-216 [doi]
- Automatic Verification of High-Level Executable Models Running on FPGAsMorgan McColl, Callum McColl, René Hexel. 217-234 [doi]
- AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator LinearizationEthan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov. 237-250 [doi]
- Leveraging Static Analysis: An IDE for RTLolaBernd Finkbeiner, Florian Kohn, Malte Schledjewski. 251-262 [doi]
- pymwp: A Static Analyzer Determining Polynomial Growth BoundsClément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller. 263-275 [doi]
- ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic FormulaeShaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider. 276-287 [doi]
- AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized InferenceZitong Zhou, Zixin Huang, Sasa Misailovic. 288-301 [doi]
- RTAEval: A Framework for Evaluating Runtime Assurance LogicKristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan 0001, Sayan Mitra. 302-313 [doi]
- Checking and Sketching Causes on Temporal SequencesRaven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber. 314-327 [doi]