ℹ️
🇬🇧
Search
Search for publications relevant for "Craig Interpolants"
Craig Interpolants
Publication
Class
Person
Publication
Programmes
Export current view
publication
PVAIR: Partial Variable Assignment InterpolatoR
2016 |
Faculty of Mathematics and Physics
publication
Leveraging Interpolant Strength in Model Checking
2012 |
Faculty of Mathematics and Physics
publication
Exploiting partial variable assignment in interpolation-based model checking
2019 |
Faculty of Mathematics and Physics
publication
Incremental Upgrade Checking by Means of Interpolation-based Function Summaries
2012 |
Faculty of Mathematics and Physics
publication
Decomposing Farkas Interpolants
2019 |
Faculty of Mathematics and Physics
publication
Transition Power Abstractions for Deep Counterexample Detection
2022 |
Faculty of Mathematics and Physics
publication
Split Transition Power Abstraction for Unbounded Safety
2022 |
Faculty of Mathematics and Physics
publication
Using linear algebra in decomposition of Farkas interpolants
2022 |
Faculty of Mathematics and Physics
publication
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization
2012 |
Faculty of Mathematics and Physics
publication
Farkas-Based Tree Interpolation
2020 |
Faculty of Mathematics and Physics
publication
SMT-based verification of program changes through summary repair
2023 |
Faculty of Mathematics and Physics
publication
A Cooperative Parallelization Approach for Property-Directed k-Induction
2020 |
Faculty of Mathematics and Physics
publication
Function Summarization Modulo Theories
2018 |
Faculty of Mathematics and Physics
publication
On Interpolants and Variable Assignments
2014 |
Faculty of Mathematics and Physics
publication
eVolCheck: Incremental Upgrade Checker for C
2013 |
Faculty of Mathematics and Physics
publication
Cut elimination, identity elimination, and interpolation in super-Belnap logics
2017 |
Faculty of Arts