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)
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
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction refinement techniques for software model checking
Towards Constructive Description Logics for Abstraction and Refinement
PARIS: Flexible Plan Adaptation by Abstraction and Refinement
Analysis of dynamic evolution systems by spotlight abstraction refinement
Analysis of dynamic evolution systems by spotlight abstraction refinement
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
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction refinement techniques for software model checking
Towards Constructive Description Logics for Abstraction and Refinement
PARIS: Flexible Plan Adaptation by Abstraction and Refinement
Analysis of dynamic evolution systems by spotlight abstraction refinement
Analysis of dynamic evolution systems by spotlight abstraction refinement
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
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction refinement techniques for software model checking
Towards Constructive Description Logics for Abstraction and Refinement
PARIS: Flexible Plan Adaptation by Abstraction and Refinement
Analysis of dynamic evolution systems by spotlight abstraction refinement
Analysis of dynamic evolution systems by spotlight abstraction refinement