Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in hoare-logic

Program verification in Python

python hoare-logic

How can I prove this binary search algorithm is correct using hoare logic?

algorithm binary-search correctness proof-of-correctness hoare-logic

Is {true} x := y { x = y } a valid Hoare triple?

logic hoare-logic