1 Verification by Model Checking. 2 Part 1 : Motivation.
Master Plan Step
Synergy: A New Algorithm for Property Checking Bhargav S. Gulavani (IIT Bombay) Yamini Kannan (Microsoft Research India) Thomas A. Henzinger (EPFL) Aditya.
Verification by Model Checking1 Formal Methods Laboratory University of Tehran Based on the chapter 3 of “Logic in Computer Science”, Huth & Ryan.
Grounded cognition. Barsalou, L. W. (2008). Annual Review of Psychology, 59, 617-645.
Keith Embodiment