| 
|
Quote: verifying a finite state model is much easier that fully understanding a system's behavior; e.g., only four operations on user IDs
topics >
all references >
references c-d >
Topic:
state machine
Topic:
model checker
Topic:
program proving is infeasible
Quotation Skeleton
in Linux, FreeBSD, and Solaris the only operations … comparison to zero, copying one user ID to … Thus, our verification task amounts to checking that … and that the side effects and results of … verifying that the operating system satisfies these conditions … process. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: state machine (67 items)
Topic: model checker (49 items)
Topic: program proving is infeasible (46 items)