Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540634065
3540634061
- Maße
-
24 cm
- Umfang
-
XII, 250 S.
- Sprache
-
Englisch
- Anmerkungen
-
Literaturverz. S. 239 - 243
- Erschienen in
-
Lecture notes in computer science ; Vol. 1283
- Schlagwort
-
Echtzeitprogrammierung
Transputer
Codegenerierung
Programmverifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (wer)
-
Springer
- (wann)
-
1997
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:25 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Müller-Olm, Markus
- Springer
Entstanden
- 1997
Ähnliche Objekte (12)
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Effective Approaches to Abstraction Refinement for Automatic Software Verification
New techniques for abstraction refinement
Abstraction refinement for pushdown systems
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Stepwise refinement of distributed systems : models, formalisms, correctness ; proceedings
Graph grammar verification through abstraction
Abstraction refinement techniques for software model checking
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
PARIS: Flexible Plan Adaptation by Abstraction and Refinement
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Effective Approaches to Abstraction Refinement for Automatic Software Verification
New techniques for abstraction refinement
Abstraction refinement for pushdown systems
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Stepwise refinement of distributed systems : models, formalisms, correctness ; proceedings
Graph grammar verification through abstraction
Abstraction refinement techniques for software model checking
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
PARIS: Flexible Plan Adaptation by Abstraction and Refinement
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Effective Approaches to Abstraction Refinement for Automatic Software Verification
New techniques for abstraction refinement
Abstraction refinement for pushdown systems
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Stepwise refinement of distributed systems : models, formalisms, correctness ; proceedings
Graph grammar verification through abstraction
Abstraction refinement techniques for software model checking
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks