| 
|
Quote: SPIN uses partial order reductions that preserve the correctness property; 10-90% space and saving
topics >
all references >
references g-h >
Topic:
state machine
Topic:
theorem proving systems
Quotation Skeleton
SPIN uses a partial order reduction method [ref] to reduce the number of reachable states that must be … . the verifier can generate a reduced state … property. … In more typical cases, the reduction in the … yielding savings in memory and runtime from 10 … [ref]. … [p. 283] The correctness properties of the reduction algorithm … were verified independently with the help of the … [ref]. Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: used the theorem prover HOL to prove the correctness of SPIN's partial order reduction
Topic: state machine (67 items)
Topic: theorem proving systems (20 items)