olemus IT alal
ISO/IEC 29128:
meetod, mis põhineb usaldusväärsetel
modelleerimise, arvutamise ja prognoosimise
matemaatilistel kontseptsioonidel,
mida kasutatakse tarkvara- ja riistvarasüsteemide
spetsifitseerimisel, projekteerimisel, analüüsimisel,
ehitamisel ja tagamisel
=
technique based on well-established mathematical concepts for modelling, calculation, and predication used in the specification, design, analysis, construction, and assurance of hardware and software systems

ülevaateid
https://en.wikipedia.org/wiki/Formal_methods

https://www.inf.unibz.it/~artale/FM/slide1.pdf

http://web.mit.edu/16.35/www/lecturenotes/FormalMethods.pdf

https://stlab.dinfo.unifi.it/fantechi//ESD/presentationModelChecking.pdf

http://voelter.de/data/books/introToFormalMethodsAndDSLs-1.0.pdf

https://onlinelibrary.wiley.com/doi/book/10.1002/9781118561898

infoturbes
https://theory.stanford.edu/~jcm/slides/jcm-usenix-02.ppt

http://www2.kinneret.ac.il/mjmay/pubs/Incose15-Formal-Methods-Security-Tools.pdf

https://courses.engr.illinois.edu/cs598man/fa2009/slides/AC-F09-Lect24.pdf

https://www.cetic.be/IMG/pdf/Formal-Security.pdf

https://arxiv.org/pdf/1608.00678.pdf

https://www.bsi.bund.de/SharedDocs/Downloads/DE/BSI/Publikationen/Studien/formal_methods_study_875/formal_methods_study_875.pdf?__blob=publicationFile&v=1

privaatsustehnikas
http://www.duplavis.com/venanzio/publications/Data_Mining_TLCA2005.pdf

https://www.cs.cmu.edu/~wing/publications/TschantzWing09.pdf

http://ceur-ws.org/Vol-1558/paper34.pdf

vt ka
- formaalne kirjeldus
- formaalne mudel
- formaalne spetsifikatsioon