'Automatic verification' presentation slideshows

Edmund M. Clarke School of Computer Science Carnegie Mellon University

707 views • 59 slides

Changing perspective can be useful Relating alternative logics for automatic software verification

Changing perspective can be useful Relating alternative logics for automatic software verification. Alex Summers (ETH Zurich) par tly based on joint work with Matthew Parkinson and Daniel Jost. Topic. This talk is concerned with specification logics

550 views • 44 slides

Automatic Verification of Computer Programs

Automatic Verification of Computer Programs. these slides contain advanced material and are optional. What is verification. Check correctness of the implementation given the specification Static verification Check correctness without executing the program

393 views • 26 slides

239 views • 23 slides

Verifica e Validazione Automatica di Sistemi Complessi

344 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