Accelerated Bounded Model Checking Using Interpolation Based Summaries.
Mayank SolankiPrantik ChatterjeeAkash LalSubhajit RoyPublished in: TACAS (2) (2024)
Keyphrases
- bounded model checking
- model checking
- formal verification
- temporal logic
- linear temporal logic
- image interpolation
- interpolation methods
- multi agent systems
- interpolation method
- text summarization
- linear interpolation
- formal specification
- approximate answers
- domain independent
- cooperative
- extractive summarization
- summary generation