Personal information

Activities

Collapse all

Works (2)

Accelerated Bounded Model Checking Using Interpolation Based Summaries

2024 | Book chapter
DOI: 10.1007/978-3-031-57249-4_8
Contributors: Mayank Solanki; Prantik Chatterjee; Akash Lal; Subhajit Roy
Source: check_circle
Crossref

Proof-Guided Underapproximation Widening for Bounded Model Checking

2022 | Book chapter
DOI: 10.1007/978-3-031-13185-1_15
Contributors: Prantik Chatterjee; Jaydeepsinh Meda; Akash Lal; Subhajit Roy
Source: check_circle
Crossref
How many people are using ORCID?