Keyword:Bounded Model Checking

Publications
Reasoning About Vote Counting Schemes Using Light-Weight and Heavy-Weight Methods Bernhard Beckert, Thorsten Bormer, Rajeev Gore, Michael Kirsten and Thomas Meumann EasyChair Preprint 15595
From Bounded Checking to Verification of Equivalence via Symbolic up-to Techniques (Extended Abstract) Vasileios Koutavas, Yu-Yang Lin and Nikos Tzevelekos EasyChair Preprint 8780
Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems Tephilla Prince EasyChair Preprint 8638
Proof-Guided Underapproximation Widening for Bounded Model Checking Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal and Subhajit Roy EasyChair Preprint 8344
FuSeBMC: An Energy-Efficient Verifier for Finding Security Vulnerabilities in C Programs Kaled Alshmrany, Mohannad Aldughaim, Ahmed Bhayat and Lucas Cordeiro EasyChair Preprint 5128
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi and Enea Zaffanella In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'Ul Mufid, Rajarshi Ray, Yuming Wu and Enea Zaffanella In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Function Summarization Modulo Theories Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina and Hana Chockler In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse Chuan Jiang and Gianfranco Ciardo In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems Fedor Shmarov and Paolo Zuliani In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
EPR-based k-induction with Counterexample Guided Abstraction Refinement Zurab Khasidashvili, Konstantin Korovin and Dmitry Tsarkov In:GCAI 2015. Global Conference on Artificial Intelligence
Automatic generation of high quality test sets via CBMC Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma and Alessandra Puddu In:VERIFY-2010. 6th International Verification Workshop