search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Programming: Correctness by Construction #20

Open jff opened 5 years ago

jff commented 5 years ago

Issue by luigiapetre Tuesday Jun 05, 2018 at 03:11 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/20

Course code, if applicable: COM00012H University hosting the course: University of York Contact person: Jeremy Jacob, jeremy.jacob@york.ac.uk Concepts taught: Model-oriented specification (Z), process-oriented (CSP) specification, refinement Tools used: CZT, FDR4 Webpage: Year/level: 3