A technique is introduced for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their specifications. The technique is presented mathematically, in terms of automata.
|Original language||English (US)|
|Number of pages||10|
|State||Published - 2000|
|Event||2000 International Conference on Software Engineering - Limerick, Ireland|
Duration: Jun 4 2000 → Jun 11 2000
ASJC Scopus subject areas