MPRI 2.6. Abstract interpretation: application to verification and static analysis

This course takes place on Monday, room 1002 (Sophie Germain building) , between 8:45 and 11:45.

pisa_html slide_96.pi none true 0 nil > slide096.html

pisa_html slide_98.pi high true 0 nil > slide098.html

pisa_html slide_99.pi 0-CFA true 0 nil > slide099_1.html

pisa_html slide_99.pi high true 0 nil > slide099_2.html

pisa_html slide_101.pi high true 0 nil > slide101.html

amb_html slide_102.amb high true nil 0 nil 0 > slide102.html

pisa_html slide_116.pi 0-CFA true 1 mi > slide116_mi.html

pisa_html slide_116.pi 0-CFA true 1 nr > slide116_nr.html

pisa_html slide_116.pi 0-CFA true 1 octo > slide116_oct.html

pisa_html slide_117.pi 0-CFA true 1 mi > slide117_mi.html

pisa_html slide_118.pi 0-CFA true 1 mi > slide118_mi.html

pisa_html slide_118.pi 0-CFA true 1 nr > slide118_nr.html

pisa_html slide_118.pi 0-CFA true 1 octo > slide118_oct.html

pisa_html slide_119.pi 0-CFA true 1 mi > slide119_mi.html

pisa_html slide_119.pi 0-CFA true 1 nr > slide119_nr.html

pisa_html slide_119.pi 0-CFA true 1 octo > slide119_oct.html