Browsing Engineering (Faculty of) by Subject "bounded model checking"
Now showing items 1-1 of 1
-
Bounded Model Checking of Industrial Code
(University of Waterloo, 2021-09-14)Abstract: Bounded Model Checking(BMC) is an effective and precise static analysis technique that reduces program verification to satisfiability (SAT) solving. However, with a few exceptions, BMC is not actively used in ...