Open luigiapetre opened 6 years ago
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 with Frama-C 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 with Frama-C Tools used: Coq, Frama-C Webpage: http://frederic.loulergue.eu/teaching/cs451.pdf Year/Level: 4, MSc, PhD