Logic and Formal Methods (Logik und formale Methoden)

luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods

32 stars 4 forks source link

Logic and Formal Methods (Logik und formale Methoden) #44

Open esb-dev opened 5 years ago

esb-dev commented 5 years ago

Course code: TI5002 University hosting the course: THM Technische Hochschule Mittelhessen Contact person: Burkhardt Renz Concepts taught: Propositional Logic, SAT-Solving, Predicate Logic, Linear Temporal Logic, Natural Deduction Tools used: Logic Workbench (https://github.com/esb-lwb/lwb), Alloy, SPIN, Jape Webpage: https://esb-dev.github.io/lfm.html