eth-janishutz/eth-summaries
1
0
Fork 0
mirror of https://github.com/janishutz/eth-summaries.git synced 2026-09-10 19:15:25 +02:00
Code Issues Packages Projects Releases Wiki Activity

[FMFP] Add note on promela exam relevance

Browse Source
This commit is contained in:
janishutz
2026-08-05 15:28:13 +02:00
parent fd6cede3c0
commit c8615a6136
2 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
semester4/fmfp/formal-methods-functional-programming-summary.pdf
BIN
View File
Binary file not shown.
semester4/fmfp/parts/06_exercises/03_checklist.tex
+1 -1
View File
@@ -8,7 +8,7 @@ These are (some of) the things that we need to learn by heart for the exam
\item LTL symbols \item LTL symbols
\item Induction scheme (especially structural induction and shape of derivation tree) \item Induction scheme (especially structural induction and shape of derivation tree)
\item Ideally for shortness the CYP syntax (roughly, they said they'd not deduct points for incorrect CYP syntax) \item Ideally for shortness the CYP syntax (roughly, they said they'd not deduct points for incorrect CYP syntax)
\item Promela syntax \item Promela syntax (and possibly Viper), but they stated that we don't need to know that well
\item Read through PVW script (it's VERY good and has some handy tips and tricks for all types of exercises) \item Read through PVW script (it's VERY good and has some handy tips and tricks for all types of exercises)
\end{todolist} \end{todolist}