activity
20112025
most citedLearning to Order BDD Variables in Verification

35 citations · 37 across the 4 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2021

Modular Verification of Concurrent Programs via Sequential Model Checking

Dan Rasin, Orna Grumberg, Sharon Shoham

This work utilizes the plethora of work on verification of sequential programs for the purpose of verifying concurrent programs. We reduce the verification of a concurrent program…