Editing Formal methods (section)

==Further reading==
{{refbegin}}
* [[Jonathan P. Bowen]] and Michael G. Hinchey, ''Formal Methods''. In Allen B. Tucker, Jr. (ed.), ''Computer Science Handbook'', 2nd edition, Section XI, ''Software Engineering'', Chapter 106, pages 106-1&nbsp;– 106-25, [[Chapman & Hall]] / [[CRC Press]], [[Association for Computing Machinery]], 2004.
* Hubert Garavel (editor) and Susanne Graf. [https://www.bsi.bund.de/SharedDocs/DE/Publikationen/Studien/formal_methods_study_875/study_875.html ''Formal Methods for Safe and Secure Computer Systems'']{{Dead link|date=November 2022 |bot=InternetArchiveBot |fix-attempted=yes }}. [[Federal Office for Information Security|Bundesamt für Sicherheit in der Informationstechnik]], BSI study 875, Bonn, Germany, December 2013.
* {{cite book| title=Formal Methods for Industrial Critical Systems: 25 International Conference, FMICS 2020 | pages=3–69 | chapter=The 2020 Expert Survey on Formal Methods | first1=Hubert | last1=Garavel | first2=Maurice H. | last2=ter Beek | first3=Jaco | last3=van de Pol | date=29 August 2020 | series=[[Lecture Notes in Computer Science]] (LNCS) | publisher=[[Springer Science+Business Media|Springer]] | volume=12327 | doi=10.1007/978-3-030-58298-2_1 | isbn=978-3-030-58297-5 | s2cid=221381022 | url=https://hal.inria.fr/hal-03082818/file/Garavel-terBeek-vandePol-20.pdf }}* Michael G. Hinchey, Jonathan P. Bowen, and Emil Vassev, ''Formal Methods''. In Philip A. Laplante (ed.), ''Encyclopedia of Software Engineering'', [[Taylor & Francis]], 2010, pages 308–320.
* [[Marieke Huisman]], Dilian Gurov, and Alexander Malkis, [http://arxiv.org/abs/2002.07279 ''Formal Methods: From Academia to Industrial Practice – A Travel Guide''], arXiv:2002.07279, 2020.
* {{cite journal| date=9 September 2020 | title=Formal methods in dependable systems engineering: a survey of professionals from Europe and North America | first1=Mario | last1=Gleirscher | first2=Diego | last2=Marmsoler | journal=Empirical Software Engineering | volume=25 | issue=6 | pages=4473–4546 | doi=10.1007/s10664-020-09836-5 | publisher=[[Springer Nature]] | doi-access=free | arxiv=1812.08815 }}
* Jean François Monin and [[Michael G. Hinchey]], ''Understanding formal methods'', [[Springer-Verlag|Springer]], 2003, {{ISBN|1-85233-247-6}}.
{{refend}}