Open jff opened 5 years ago
Issue by luigiapetre Tuesday Aug 21, 2018 at 10:00 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/27
Course code, if applicable: CS 451/551 University hosting the course: Northern Arizona University Contact person: Frédéric Loulergue, frederic.loulergue@nau.edu Concepts taught: operational semantics, axiomatic semantics, deductive verification, certified compilation, formalization in Coq, program analysis Tools used: Coq, Frama-C Webpage: http://frederic.loulergue.eu/teaching/cs451.pdf Year/Level: 4, MSc, PhD
Course code, if applicable: CS 451/551 University hosting the course: Northern Arizona University Contact person: Frédéric Loulergue, frederic.loulergue@nau.edu Concepts taught: operational semantics, axiomatic semantics, deductive verification, certified compilation, formalization in Coq, program analysis Tools used: Coq, Frama-C Webpage: http://frederic.loulergue.eu/teaching/cs451.pdf Year/Level: 4, MSc, PhD