Login / Signup
Mayank Solanki
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Formal Verification
Cooperative
Extractive Summarization
Linear Temporal Logic
Top Venues
TACAS (2)
</>
Publications
</>
Mayank Solanki
,
Prantik Chatterjee
,
Akash Lal
,
Subhajit Roy
Accelerated Bounded Model Checking Using Interpolation Based Summaries.
TACAS (2)
(2024)