Keyword:formal verification

Publications
Leveraging Cadence's Incisive Enterprise Simulator for Neural Network Verification Harold Jonathan and Edwin Frank EasyChair Preprint 15065
Simulation-Based Verification of Neural Network Models Edwin Frank and Godwin Olaoye EasyChair Preprint 15064
Verifying Non-Friendly Formal Verification Designs: Can We Start Earlier? Bryan Olmos, Daniel Gerl, Aman Kumar and Djones Lettnin EasyChair Preprint 14786
A Novel Approach in Proving Unreachable Paths in Hardware-Dependent Software Bryan Daniel Olmos Suquillo, Wolfgang Kunz and Djones Lettnin EasyChair Preprint 14768
K-Smali: an Executable Semantics for Program Verification of Reversed Android Applications Marwa Ziadia, Mohamed Mejri and Jaouhar Fattahi EasyChair Preprint 10387
VPN: Verification of Poisoning in Neural Networks Youcheng Sun, Muhammad Usman, Divya Gopinath and Corina Păsăreanu EasyChair Preprint 8687
Hemiola: a DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols Joonwon Choi, Adam Chlipala and Arvind EasyChair Preprint 8623
Formalization of Gambler’s Ruin Problem in Isabelle/HOL Zibo Yang EasyChair Preprint 6165
OCCAM-Equivalent Syntax with Pure Singleton Descent Structure Lawrence Dickson EasyChair Preprint 5430
Algebra-based Synthesis of Loops and their Invariants Andreas Humenberger and Laura Kovács EasyChair Preprint 4946
A novel Integrated strict verification of smart contracts on Blockchain B. Aarthi, Rahul Kumar, Abhishek and Rahul Kumar EasyChair Preprint 2943
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman and Kristin Yvonne Rozier EasyChair Preprint 1429
Scalable Verification of Designs with Multiple Properties Rohit Dureja and Kristin Yvonne Rozier EasyChair Preprint 1411
Rewriting Environment for Arithmetic Circuit Verification Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko and Maciej Ciesielski EasyChair Preprint 662
Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems Matt Webster, Michael Breza, Clare Dixon, Michael Fisher and Julie McCann EasyChair Preprint 377
Randomized Generation of Arbitrarily Difficult Verification Benchmarks for Linear Time-Invariant Systems Mark Wetzlinger and Matthias Althoff In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Prediction and Control of Stochastic Agents Using Formal Methods Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina and Hillel Kugler In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
ARCH-COMP23 Category Report: Stochastic Models Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen and Paolo Zuliani In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T Johnson, Tobias Ladner and Christian Schilling In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Benchmarks for the Formal Verification of Power Systems Matthias Althoff In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP22 Category Report: Stochastic Models Alessandro Abate, Henk Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani and Lisa Willemsen In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen and Jonathan Julián Huerta Y Munive In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling and Mark Wetzlinger In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP21 Category Report: Stochastic Models Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman and Paolo Zuliani In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP20 Category Report: Stochastic Models Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham Vinod, Ben Wooding, Majid Zamani and Paolo Zuliani In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders and Christian Schilling In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Rewriting Environment for Arithmetic Circuit Verification Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko and Maciej Ciesielski In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Measurement Library: Representing Physical Types in PVS Ashlie B. Hocking and M. Anthony Aiello In:Automated Formal Methods
The MINERVA Software Development Process Anthony Narkawicz, Cesar Munoz and Aaron Dutle In:Automated Formal Methods
Compositional Verification of Security Properties for Embedded Execution Platforms Christoph Baumann, Oliver Schwarz and Mads Dam In:PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems
ARCH-COMP17 Repeatability Evaluation Report Taylor T. Johnson In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
A One-Pass Tableau-Based Workflow Verification Framework Md Zahidul Islam and Wendy Maccaull In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier Andrei Lapets In:VERIFY-2010. 6th International Verification Workshop