Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Prantik Chatterjee
Publications
Proof-Guided Underapproximation Widening for Bounded Model Checking
Prantik Chatterjee
,
Jaydeepsinh Meda
,
Akash Lal
and
Subhajit Roy
EasyChair Preprint 8344
Keyphrases
Bounded Model Checking
,
software verification
,
Underapproximation widening
.
Copyright © 2012-2024 easychair.org. All rights reserved.
