Concise guide to formal methods. Theory, fundamentals and industry applications

DOI10.1007/978-3-319-64021-1zbMath1375.68002OpenAlexW2742411048MaRDI QIDQ1681379

Gerard O'Regan

Publication date: 23 November 2017

Published in: Undergraduate Topics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-64021-1

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Concise guide to formal methods. Theory, fundamentals and industry applications