9 citations · 16 across the 5 of their papers we have counts for
1 paper · 2 filters
Asankhaya Sharma
Over the last several years the tools used for model checking have become more efficient and usable. This has enabled users to apply model checking to industrial-scale problems, ho…