ℹ️
🇬🇧
Search
Search for publications relevant for "Bounded Model Checking"
Bounded Model Checking
Publication
Class
Person
Publication
Programmes
publication
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization
2012 |
Faculty of Mathematics and Physics
publication
Function Summarization Modulo Theories
2018 |
Faculty of Mathematics and Physics
publication
Incremental Upgrade Checking by Means of Interpolation-based Function Summaries
2012 |
Faculty of Mathematics and Physics
publication
Transition Power Abstractions for Deep Counterexample Detection
2022 |
Faculty of Mathematics and Physics
publication
Leveraging Interpolant Strength in Model Checking
2012 |
Faculty of Mathematics and Physics