Releases: lucformalmethodscourse/lucformalmethodscourse.github.io
Releases · lucformalmethodscourse/lucformalmethodscourse.github.io
Release list
v26sp.3
updated for spring 2026 Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v26sp.2
fixed AI disclosure Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v26sp.1
fixed AI disclosure Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v26sp.0
made AI disclosure more prominent Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v25sp.14
expanded chapter on model checking a bit Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v25sp.13
expanded chapter on model checking a bit Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v25sp.12
added vending machine example to model checking chapter Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v25sp.9
fixed broken link in new chapter Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v25sp.8
added some material on formal specification Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
v25sp.6
added paragraph on log4j vulnerability Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>