'Spin model checker' presentation slideshows

The SPIN Model Checker

999 views • 45 slides

Bitstate Hashing

Bitstate Hashing. Presented by Yunho Kim Provable Software Lab, KAIST. TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A. Introduction Bitstate hashing Multi-bit hashing Analysis Conclusion. Contents.

567 views • 21 slides

SPIN

SPIN. An explicit state model checker. Properties. Safety properties Something bad never happens Properties of states Liveness properties Something good eventually happens Properties of paths. Reachability is sufficient. We need something more complex to check liveness properties.

473 views • 21 slides

Explanation of Accomplishment

Explanation of Accomplishment. POC: Klaus Havelund and Willem Visser (ASE group, Code IC, {havelund,wvisser}@email.arc.nasa.gov)

110 views • 2 slides