Keyword:formal verification

Papers
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: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar 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-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: 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)
VPN: Verification of Poisoning in Neural Networks Youcheng Sun, Muhammad Usman, Divya Gopinath and Corina Păsăreanu EasyChair Preprint no. 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 no. 8623
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)
Formalization of Gambler’s Ruin Problem in Isabelle/HOL Zibo Yang EasyChair Preprint no. 6165
OCCAM-Equivalent Syntax with Pure Singleton Descent Structure Lawrence Dickson EasyChair Preprint no. 5430
Algebra-based Synthesis of Loops and their Invariants Andreas Humenberger and Laura Kovács EasyChair Preprint no. 4946
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 P. 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)
A novel Integrated strict verification of smart contracts on Blockchain B. Aarthi, Rahul Kumar, Abhishek and Rahul Kumar EasyChair Preprint no. 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 no. 1429
Scalable Verification of Designs with Multiple Properties Rohit Dureja and Kristin Yvonne Rozier EasyChair Preprint no. 1411
Rewriting Environment for Arithmetic Circuit Verification Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko and Maciej Ciesielski EasyChair Preprint no. 662
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
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 no. 377
The MINERVA Software Development Process Anthony Narkawicz, Cesar Munoz and Aaron Dutle In:Automated Formal Methods
The Measurement Library: Representing Physical Types in PVS Ashlie B. Hocking and M. Anthony Aiello 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