View source for MACS PSI 2015


{| class="wikitable"
|-
! Lecture !!  Handouts / Slides !! Other Material 
|-
|  Lecture 1: Introduction
||    [[media:MACS_PSI_intro.pdf| Introduction - Slides]]     || 
[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_ucdjbw1s Introduction - Video]
|-
|  Lecture 2: Actions, Behavior, Abstraction
||    [[media:MACS_PSI_behavior.pdf| Behavioral Modeling - Slides]]     || 
[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_75li7l0k Behavioral Modeling -  Video]
|-
|  Lecture 3: Behavioral Equivalences
||    [[media:MACS_PSI_Eq_1.pdf| Equivalences - Slides Part I]]     

[[media:MACS_PSI_Eq_2.pdf| Equivalences - Slides Part II]]     

[[media:MACS_PSI_Eq_3.pdf| Equivalences - Slides Part III]]     
|| 

[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_e0fpcp7q -  Video Part I]

[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_t22d77rf -  Video Part II]

[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_gaobixvl -  Video Part III]
 
|-
|  Lecture 3: Hennessy Milner Logic
||    [[media:MACS_PSI_HML_1.pdf| HML - Slides Part I]]    

[[media:MACS_PSI_HML_2.pdf| HML - Slides Part II]] 

[[media:MACS_PSI_HML_3.pdf| HML - Slides Part III]] 

[[media:MACS_PSI_HML_4.pdf| HML - Slides Part IV]] 

|| 

[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_110edzxc HML -  Video Part I]

[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_dtf7z6bv HML -  Video Part II]

[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_2l0fv4qt -  Video Part III]

[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_k4s0e6co -  Video Part IV]

|-
|  Lecture 4: Sequential Processes
||    [[media:MACS_PSI_SeqProc_1.pdf| Sequential Processes - Slides Part I]]    

[[media:MACS_PSI_SeqProc_2.pdf| Sequential Processes - Slides Part II]] 

|| 

[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_yldxww8z Sequential Processes  -  Video Part I]

[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_pdhhy802 Sequential Processes  -  Video Part II]
|}

[http://ocw.tudelft.nl/courses/computerscience/systemvalidation/course-home/ System Validation at Delft Opencourseware]