book chapter · Cambridge University Press eBooks · 1996
Formal methods
Cited by 1Abstract and details only
Abstract
Formal methods apply logic and simple mathematics to programming. They work best where traditional programming methods don't work very well: problems that are too difficult to solve by intuition or too novel to solve by modifying some existing program or design. They can help you create new programs, or analyze and document programs that are already written. Using formal methods requires creativity and judgment, but once you have created or analyzed a program formally, you can document your work as a sequence of steps that you or anyone else can check. You must be able to do this if you need to convince yourself or others that a program meets requirements for safety, accuracy, security, or any other critical property. It is also worth doing if you simply want to understand how the program works.
Cite this paper
Jacky, J. (1996). Formal methods. Cambridge University Press eBooks, 3–13. https://doi.org/10.1017/cbo9780511574924.002
Jacky, Jonathan. “Formal methods.” Cambridge University Press eBooks, 1996, pp. 3–13, https://doi.org/10.1017/cbo9780511574924.002.
Jacky, Jonathan. 1996. “Formal methods.” Cambridge University Press eBooks: 3–13. https://doi.org/10.1017/cbo9780511574924.002.
Jacky, J. (1996) ‘Formal methods’, Cambridge University Press eBooks, pp. 3–13. Available at: https://doi.org/10.1017/cbo9780511574924.002.
@incollection{jacky1996formal,
title = {{Formal methods}},
author = {Jacky, Jonathan},
booktitle = {Cambridge University Press eBooks},
pages = {3--13},
year = {1996},
doi = {10.1017/cbo9780511574924.002}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.