Formal methods in safety-critical standards
The work
| Authors | Jonathan P. Bowen |
|---|---|
| Editors | |
| Type | inproceedings |
| 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 |
|---|
Related
| Distinct from | beek2024formal |
|---|---|
| Distinct from | bowen1995seven |
| Distinct from | dally1999vlsi |
| Distinct from | haxthausen2010introduction |
| Distinct from | heiser2020sel4 |
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.
A copy is held
pdf, 224.1 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-11 00:00 UTC |
| Approved by | a person 2026-08-16 15:31 UTC |
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},
publisher = {IEEE},
pages = {168--177},
doi = {10.1109/sess.1993.263953},
}
This record lives at https://refs.drheap.org/bowen1993formal/ and will keep doing so.