a3_hoare exercise is released

From: Ayrat <ayrat.khalimov ***AT***iaik.tugraz.at>
Date: Wed, 16 Nov 2016 21:49:55 +0100
Subject: a3_hoare exercise is released
Newsgroups: tu-graz.lv.vt
Organization: Technische Universitaet Graz
Message-id: <o0igpj$r6m$1@news.tugraz.at>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0
hi all,

We just released exercise 3!

Hoare logic, Z3 solver, search and sort algorithms are waiting for you!
(And two lovely bonuses may give you up to 170% in score)

Have a look and let us know if you spot any mistakes!
We will present it tomorrow (Thursday).

Deadline -- in two weeks.

https://verify.iaik.tugraz.at/teaching/vt/bin/view/Main/AssignmentThree


have fun,
Anja and Ayrat