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.
Leibniz’ programme<br />
Gottfried Wilhelm Leibniz (1646 - 1716)<br />
Whenever there are different opini<strong>on</strong>s about certain facts, <strong>on</strong>e<br />
should not discuss them like philosophers usually do;<br />
instead <strong>on</strong>e should ‘calculate’ the truth.<br />
lingua characteristica (to express all kinds <str<strong>on</strong>g>of</str<strong>on</strong>g> properties)<br />
calculus ratiocinator (laws to allow a ‘decisi<strong>on</strong> procedure’)<br />
(using universal encyclopedia)<br />
Leibniz planned the project for the next three centuries !<br />
(His research in the differential calculus went in that directi<strong>on</strong>.)<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> Kolloquium Jena, 14 May 2007 4 / 89