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)
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<str<strong>on</strong>g>Some</str<strong>on</strong>g> specialized tools for deductive program <str<strong>on</strong>g>verificati<strong>on</strong></str<strong>on</strong>g>s<br />
The Stanford Temporal Prover, STeP<br />
http://www-step.stanford.edu/<br />
Stanford university, USA<br />
TLV - Temporal Logic Verifier<br />
http://www.wisdom.weizmann.ac.il/ verify/tlv/<br />
Weizmann Institute <str<strong>on</strong>g>of</str<strong>on</strong>g> Science, Israel<br />
———————————–<br />
A comprehensive survey <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> tools<br />
at Faculty <str<strong>on</strong>g>of</str<strong>on</strong>g> Informatics, Masaryk University Brno, Czech Rep.<br />
http://anna.fi.muni.cz/yahoda/<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 31 /<br />
89