Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Bounded Model Checking
Publications
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
Copyright © 2012-2024 easychair.org. All rights reserved.