1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Ramchandra Phawade, Tephilla Prince, S. Sheerazuddin
Bounded model checking (BMC) is an efficient formal verification technique which allows for desired properties of a software system to be checked on bounded runs of an abstract mod…