collaborators

1 paper

cs.LO2026

MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering

Soumik Guha Roy, Sumana Ghosh, Ansuman Banerjee +2

Formal verification of designs with multiple properties has been a long-standing challenge for the verification research community. The task of coming up with an effective strategy…