An inheritance-based technique for building simulation proofs incrementally

This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their specifications. The technique for building specifications (and algorithms) allows a child specification (or algorithm) to in...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings / International Conference on Software Engineering s. 478 - 487
Hlavní autoři:	Keidar, Idit, Khazan, Roger, Lynch, Nancy, Shvartsman, Alex
Médium:	Konferenční příspěvek Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 2000 IEEE
Edice:	ACM Conferences
Témata:	Computational modeling Computer science Computer simulation Computing methodologies > Modeling and simulation Context modeling General and reference > Cross-computing tools and techniques > Verification Large-scale systems Object oriented modeling Power system modeling Safety Software and its engineering > Software creation and management > Software development process management Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Software verification Software engineering Software systems Theory of computation > Semantics and reasoning > Program reasoning > Program verification interface extension refinement system modeling/verification specialization by inheritance simulation
ISBN:	1581132069, 9781581132069
ISSN:	0270-5257
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!