Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540634065
3540634061
- Dimensions
-
24 cm
- Extent
-
XII, 250 S.
- Language
-
Englisch
- Notes
-
Literaturverz. S. 239 - 243
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1283
- Keyword
-
Echtzeitprogrammierung
Transputer
Codegenerierung
Programmverifikation
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1997
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:25 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Müller-Olm, Markus
- Springer
Time of origin
- 1997
Other Objects (12)
Abstraction refinement for pushdown systems
New techniques for abstraction refinement
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
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
Stepwise refinement of distributed systems : models, formalisms, correctness ; proceedings
Analysis of dynamic evolution systems by spotlight abstraction refinement
An abstraction-refinement methodology for reasoning about network games
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Abstraction refinement for pushdown systems
New techniques for abstraction refinement
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
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
Stepwise refinement of distributed systems : models, formalisms, correctness ; proceedings
Analysis of dynamic evolution systems by spotlight abstraction refinement
An abstraction-refinement methodology for reasoning about network games
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Abstraction refinement for pushdown systems
New techniques for abstraction refinement
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
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
Stepwise refinement of distributed systems : models, formalisms, correctness ; proceedings
Analysis of dynamic evolution systems by spotlight abstraction refinement
An abstraction-refinement methodology for reasoning about network games