Some theoretical aspects of verification (with a focus on bisimilarity)
Some theoretical aspects of verification (with a focus on bisimilarity)
Some theoretical aspects of verification (with a focus on bisimilarity)
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Program <str<strong>on</strong>g>verificati<strong>on</strong></str<strong>on</strong>g><br />
Late 1960s:<br />
specialized logics and pro<str<strong>on</strong>g>of</str<strong>on</strong>g> procedures for<br />
<str<strong>on</strong>g>verificati<strong>on</strong></str<strong>on</strong>g> <str<strong>on</strong>g>of</str<strong>on</strong>g> computer programs and systems<br />
Am<strong>on</strong>g the pi<strong>on</strong>eers:<br />
Floyd, Hoare, Dijkstra, Gries, Lamport, Owicki, Manna, Pnueli<br />
Petr Jančar (TU Ostrava) <str<strong>on</strong>g>Some</str<strong>on</strong>g> <str<strong>on</strong>g>aspects</str<strong>on</strong>g> <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>verificati<strong>on</strong></str<strong>on</strong>g><br />
Kolloquium Jena, 14 May 2007 27 /<br />
89