This repository contains my slides and report on TLA+, a lightweight formal method capable model-checking designs. It was created during the advanced programming tools seminar at HPI, WS22/23.
defo10 / apt-tla-plus Goto Github PK
View Code? Open in Web Editor NEWThis project forked from hpi-swa-teaching/apt-report-template
Slides and report for the advanced programming tools seminar