| 
|
Quote: Slam turns a C program into a boolean program with the same control-flow and Boolean variables; easier to analyze
Topic:
debugging by usage rules
Topic:
boolean values, binary numbers, and bit strings
Topic:
model checker
Quotation Skeleton
Slam Incorrect event ordering frequently causes errors. For … rules are naturally described by finite state machines … Slam's simplified reorientation [of a C program] is a Boolean program … over the C program's state. … Because Boolean programs have a finite number of … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: debugging by usage rules (41 items)
Topic: boolean values, binary numbers, and bit strings (44 items)
Topic: model checker (49 items)