57 citations · 111 across the 31 of their papers we have counts for
1 paper · 2 filters
Mohannad Aldughaim, Kaled Alshmrany, Rafael Menezes +2
Bounded model checking (BMC) is vital for finding program property violations. For unsafe programs, BMC can quickly find an execution path from an initial state to the violated sta…