Formal methods in safety-critical standards
The work
| Title | Formal methods in safety-critical standards |
|---|---|
| Authors | Jonathan P. Bowen |
| Type | conference paper |
| Year | 1993 |
| Citekey | bowen1993formal |
Where it appeared
| Published in | Proceedings 1993 Software Engineering Standards Symposium |
|---|---|
| Publisher | IEEE |
| Pages | 168--177 |
Identifiers
| DOI | 10.1109/sess.1993.263953 |
|---|---|
| OpenAlex | W2545372324 |
Access
| Landing page | https://doi.org/10.1109/sess.1993.263953 |
|---|
Abstract
There is great interest in ensuring correctness of safety-critical embedded systems since on the one hand the use of software gives greatly increased functionality and flexibility and on the other hand it provides unprecedented possibilities for errors. Formal methods are one technique that could improve the situation. Their use is now being suggested by an increasing number of standards in the safety-critical area. The paper compares the recommendations given by a number of important existing and emerging standards and tries to identify future trends in this area. A bibliography of standards and related publications is included.
Copy held
| Kind | PDF, 229.5 kB |
|---|---|
| Retrieved | 2026-08-11 |
| Held | local, for personal reference |
| Where it came from | https://doi.org/10.1109/sess.1993.263953 |
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-11 |
| Record | reviewed by a person |
| Approved | 2026-08-16 |
Cite it as
@inproceedings{bowen1993formal,
title = {Formal methods in safety-critical standards},
author = {Jonathan P. Bowen},
year = {1993},
booktitle = {Proceedings 1993 Software Engineering Standards Symposium},
pages = {168--177},
publisher = {IEEE},
doi = {10.1109/sess.1993.263953},
url = {https://doi.org/10.1109/sess.1993.263953},
}
This record lives at https://refs.drheap.org/bowen1993formal/ and will keep doing so.