HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:software verification

Papers
Solving XCSP3 Constraint Problems Using Tools from Software Verification
Martin Mariusz Lester
EasyChair Preprint no. 8679
Proof-Guided Underapproximation Widening for Bounded Model Checking
Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal and Subhajit Roy
EasyChair Preprint no. 8344
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
Copyright © 2012-2023 easychair.org. All rights reserved.