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.

Using formal methods to develop an ATC information system

The work

AuthorsA. Hall
Editors
Typearticle
Year1996
Citekeyhall1996using

Where it appeared

Published inIEEE Software
PublisherIEEE Computer Society
Volume13
Issue2
Pages66--76

Identifiers

DOI10.1109/52.506463
OpenAlexW2020620442

Access

Landing pagehttps://doi.org/10.1109/52.506463

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

Can formal methods be a part of large system development? The project teams at Praxis used a combination of formal methods to help specify, design, and verify CDIS, a large information display system within on ATC support system. Their project suggests that it can be practicable and beneficial.

How it got here

How it got hereagent via openalex
Added2026-10-23 21:27 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{hall1996using,
  title        = {Using formal methods to develop an ATC information system},
  author       = {A. Hall},
  year         = {1996},
  journal      = {IEEE Software},
  publisher    = {IEEE Computer Society},
  volume       = {13},
  number       = {2},
  pages        = {66--76},
  doi          = {10.1109/52.506463},
}

This record lives at https://refs.drheap.org/hall1996using/ and will keep doing so.