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.
Completeness and consistency in hierarchical state-based requirements
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
This paper describes methods for automatically analyzing formal, state-based requirements specifications for some aspects of completeness and consistency. The approach uses a low-level functional formalism, simplifying the analysis process. State-space explosion problems are eliminated by applying the analysis at a high level of abstraction; i.e., instead of generating a reachability graph for analysis, the analysis is performed directly on the model. The method scales up to large systems by decomposing the specification into smaller, analyzable parts and then using functional composition rules to ensure that verified properties hold for the entire specification. The analysis algorithms and tools have been validated on TCAS II, a complex, airborne, collision-avoidance system required on all commercial aircraft with more than 30 passengers that fly in U.S. Airspace.
@article{heimdahl1996completeness,
title = {Completeness and consistency in hierarchical state-based requirements},
author = {Mats P. E. Heimdahl and Nancy G. Leveson},
year = {1996},
journal = {IEEE Transactions on Software Engineering},
publisher = {IEEE Computer Society},
volume = {22},
number = {6},
pages = {363--377},
doi = {10.1109/32.508311},
}