{"id":229,"date":"2016-07-25T16:00:04","date_gmt":"2016-07-25T14:00:04","guid":{"rendered":"http:\/\/members.loria.fr\/CRingeissen\/?page_id=229"},"modified":"2021-01-06T18:42:01","modified_gmt":"2021-01-06T16:42:01","slug":"teaching","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/CRingeissen\/teaching\/","title":{"rendered":"Teaching"},"content":{"rendered":"<p><b>Decision Procedures for the Verification of Programs<\/b>, <a href=\"http:\/\/licence-master-informatique.formation.univ-lorraine.fr\/accreditation-2018\/master\/\">Master Recherche Informatique<\/a>, Parcours Ing\u00e9nierie des Logiciels, Orientation M\u00e9thodes Formelles pour des Logiciels S\u00fbrs, Universit\u00e9 de Lorraine, 2020\/21. Taught initially with <a href=\"http:\/\/st.fbk.eu\/SilvioRanise\">Silvio Ranise, <\/a>then\u00a0with <a href=\"https:\/\/members.loria.fr\/PFontaine\">Pascal Fontaine,<\/a>\u00a0and now with <a href=\"https:\/\/www.mpi-inf.mpg.de\/departments\/automation-of-logic\/people\/sophie-tourret\">Sophie Tourret<\/a>.<\/p>\n<ol>\n<li><a href=\"http:\/\/members.loria.fr\/CRingeissen\/files\/master2\/intro.pdf\">Introduction<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/CRingeissen\/files\/master2\/eq.pdf\">Decision Procedures for the theory of Equality<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/CRingeissen\/files\/master2\/arith.pdf\">Linear Arithmetic<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/CRingeissen\/files\/master2\/combi.pdf\">Combining Decision Procedures<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/CRingeissen\/files\/master2\/sp.pdf\">Building Decision Procedures for Data Structures<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/CRingeissen\/files\/master2\/sat.pdf\">Boolean Solving<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/CRingeissen\/files\/master2\/smt.pdf\">Integrating Decision Procedures with Boolean Solving<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/CRingeissen\/files\/master2\/veriT.pdf\">Applications: the veriT SMT solver<\/a><\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"<p>Decision Procedures for the Verification of Programs, Master Recherche Informatique, Parcours Ing\u00e9nierie des Logiciels, Orientation M\u00e9thodes Formelles pour des Logiciels S\u00fbrs, Universit\u00e9 de Lorraine, 2020\/21. Taught initially with Silvio Ranise, then\u00a0with Pascal Fontaine,\u00a0and now with Sophie Tourret. Introduction Decision Procedures for the theory of Equality Linear Arithmetic Combining Decision Procedures Building Decision Procedures for Data [&hellip;]<\/p>\n","protected":false},"author":83,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-229","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/pages\/229","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/users\/83"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/comments?post=229"}],"version-history":[{"count":35,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/pages\/229\/revisions"}],"predecessor-version":[{"id":379,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/pages\/229\/revisions\/379"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/media?parent=229"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}