| Article ID: | iaor19971714 |
| Country: | Serbia |
| Volume: | 7 |
| Issue: | 1 |
| Start Page Number: | 79 |
| End Page Number: | 96 |
| Publication Date: | Jan 1997 |
| Journal: | Yugoslav Journal of Operations Research |
| Authors: | Misic Vojislav B., Velasevic Dusan M. |
Formal methods find increasing usage for system and software specifications. In this paper, the authors discuss some benefits resulting from the use of such methods, together with some properties shared by most of them. Some possible criteria for classification are also presented, and a tabular overview is given of some of the most well-known methods. A number of known formal methods are reviewed, and their similarities and differences discussed.