Analysis of cognitive properties of interactive systems using model-checking - Antonio Cerone

Round-10 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor/events) and provenance check passed; strict per-title check + final strict pass; oEmbed verified.

A 81-minute video from Filosofia Urbino: “Analysis of cognitive properties of interactive systems using model-checking - Antonio Cerone”.

Video by Filosofia Urbino, played through YouTube's embedded player.