21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023) | www.gmachineinfo.com

会议文集

文集名	Automated Technology for Verification and Analysis
会议名	21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023)
中译名	《第二十一届国际认证与分析自动化技术研讨会，卷2》
会议日期	October 24-27, 2023
会议地点	Singapore, Singapore
出版年	2023
馆藏号	349190

题名	作者	出版年
Lightweight Verification of Hyperproperties	Oyendrila Dobe; Stefan Schupp; Ezio Bartocci; Borzoo Bonakdarpour; Axel Legay; Miroslav Pajic; Yu Wang	2023
Specification Sketching for Linear Temporal Logic	Simon Lutz; Daniel Neider; Rajarshi Roy	2023
On the Difficulty of Intersection Checking with Polynomial Zonotopes	Yushen Huang; Ertai Luo; Stanley Bak; Yifan Sun	2023
Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts	Steffan Christ Solvsten; Jaco van de Pol	2023
Better Predicates and Heuristics for Improved Commutativity Synthesis	Adam Chen; Parisa Fathololumi; Mihai Nicola; Jared Pincus; Tegan Brennan; Eric Koskinen	2023
Structure-Guided Solution of Constrained Horn Clauses	Omer Rappoport; Orna Grumberg; Yakir Vizel	2023
Automated Property Directed Self Composition	Akshatha Shenoy; Sumanth Prabhu; Kumar Madhukar; Ron Shemer; Mandayam Srivas	2023
Minimally Comparing Relational Abstract Domains	Kenny Ballou; Elena Sherman	2023
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs	Parosh Aziz Abdulla; Mohamed Faouzi Atig; Frederik Meyer Bonneland; Sarbojit Das; Bengt Jonsson; Magnus Lang; Konstantinos Sagonas	2023
Fast Equivalence Checking of Quantum Circuits of Clifford Gates	Dimitrios Thanos; Tim Coopmans; Alfons Laarman	2023
Automatic Verification of High-Level Executable Models Running on FPGAs	Morgan McColl; Callum McColl; Rene Hexel	2023
AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization	Ethan Lew; Abdelrahman Hekal; Kostiantyn Potomkin; Niklas Kochdumper; Brandon Hencey; Stanley Bak; Sergiy Bogomolov	2023
Leveraging Static Analysis: An IDE for RTLola	Bernd Finkbeiner; Florian Kohn; Malte Schledjewski	2023
pymwp: A Static Analyzer Determining Polynomial Growth Bounds	Clement Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller	2023
ppLTLTT: Temporal Testing for Pure-Past Linear Temporal Logic Formulae	Shaun Azzopardi; David Lidell; Nir Piterman; Gerardo Schneider	2023
AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference	Zitong Zhou; Zixin Huang; Sasa Misailovic	2023
RTAEval: A Framework for Evaluating Runtime Assurance Logic	Kristina Miller; Christopher K. Zeitler; William Shen; Mahesh Viswanathan; Sayan Mitra	2023
Checking and Sketching Causes on Temporal Sequences	Raven Beutner; Bernd Finkbeiner; Hadar Frenkel; Julian Siber	2023