You do not have permission to edit this page, for the following reasons:

• The action you have requested is limited to users in the group: Users.
• The action you have requested is limited to users in the group: Users.

---

You can view and copy the source of this page.

{{Course | name = Specification and Verification of Programs | code = 1-AIN-470 | prerequisites = none | semester = Summer | year = 2 | credits = 6 | form = C - course (4) | evaluation = 60/40 | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-470-svp/ | teacher = [[Jan Komara|Ing. Ján Komara]] | email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk | homepage = http://ii.fmph.uniba.sk/~komara/ | description = Formal system of first-order arithmetics (Peano arithmetics) used for specification, implementation and verification of programs. Problems solved in exercises using specification-verification system CL. | offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]] | recommendations = none }}

Return to Specification and Verification of Programs.

← Specification and Verification of Programs