The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
One of the most challenging tasks in software system design is to assure reliability, especially as these systems are increasingly used in sensitive and often life-critical environments such as medical systems, air traffic control, and space applications. Many claim that formal methods not only provide assurance of reliability but also have the potential to reduce costs. Although the literature contains many excellent examples of applications of formal methods for large, critical, or even business transaction systems, a large percentage of practitioners see formal methods as irrelevant to their daily work. Why? This roundtable brings together some preeminent experts in the field, asking them to address the question What is hindering the use of formal methods in industry?
How it got here
How it got here
agent via openalex
Added
2026-10-24 18:47 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@article{bowen1996invitation,
title = {An Invitation to Formal Methods},
author = {Jonathan Peter Bowen and Ricky W. Butler and David L. Dill and Robert L. Glass and David J. Gries and A. Hall},
year = {1996},
journal = {Computer},
publisher = {IEEE Computer Society},
volume = {29},
number = {4},
pages = {16},
doi = {10.1109/mc.1996.488298},
}