Keyword:formal verification

Papers
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