Formale Methoden im Softwareentwurf

August 15, 2019 · Fabian Damken

Recent Changes

2022-10-18 Dark mode (re) (#15)
2022-10-18 Fixed Adaboost Formula and FNR/TNR / Added to FMSE and Infman summaries (#14)
2020-05-15 Fixed errors introduced by malicious RegEx.
2020-05-15 Streamlined OS, VC.
2020-05-15 Streamlined CER, CNuvS, FMSe, InfMan (DB, NLP), Mathe 3.
2019-09-23 FMSE: More spacinf.
2019-09-22 FMSE: Finished up to chapter 13.
2019-09-20 FMSE: Added JML.
2019-09-19 FMSE: Finished First-Order Logic.
2019-09-19 FMSE: Finished up SPIN (mostly).
2019-09-19 Fixed Makefile.
2019-09-18 FMSE: Added linear temporal logic.
2019-09-18 Finished PROMELA synctical stuff.
2019-09-18 Added PROMELA until concurrent systems.
2019-09-17 Fixed some typos.
2019-09-17 Populated FMSe TeX file.
2019-09-16 Planned FMSE summary.
2019-08-15 Initial commit.