DiVer: SAT-based model checking platform for verifying large scale systems
- Malay K. Ganai
- , Aarti Gupta
- , Pranav Ashar
Research output: Contribution to journal › Conference article › peer-review
11
Link opens in a new tab
Scopus
citations