Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

Proof-Guided Underapproximation Widening for Bounded Model Checking

Prantik Chatterjee, Jaydeepsinh Meda,Akash Lal,Subhajit Roy

COMPUTER AIDED VERIFICATION (CAV 2022), PT I（2022）

Cited 3|Views15
No score
Key words
Verification,Bounded model checking,Underapproximation widening
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined