Verifying the correctness of AADL modules using model checking (Englisch)
Nationallizenz
- Neue Suche nach: Josko, Bernhard
- Neue Suche nach: Josko, Bernhard
In:
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness
;
386-400
;
1990
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Verifying the correctness of AADL modules using model checking
-
Beteiligte:Josko, Bernhard ( Autor:in )
-
Erschienen in:Lecture Notes in Computer Science ; 430 ; 386-400
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.1990
-
Format / Umfang:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Composing specificationsAbadi, Martín / Lamport, Leslie et al. | 1990
- 42
-
Refinement calculus, part I: Sequential nondeterministic programsBack, R. J. R. / Wright, J. et al. | 1990
- 67
-
Refinement calculus, part II: Parallel and reactive programsBack, R. J. R. et al. | 1990
- 94
-
MetateM: A framework for programming in temporal logicBarringer, Howard / Fisher, Michael / Gabbay, Dov / Gough, Graham / Owens, Richard et al. | 1990
- 130
-
Constraint-oriented specification in a constructive formal description techniqueBrinksma, Ed et al. | 1990
- 153
-
Functional specification of time sensitive communicating systemsBroy, Manfred et al. | 1990
- 180
-
Modular verification of Petri NetsDamm, Werner / Döhmen, Gert / Gerstner, Volker / Josko, Bernhard et al. | 1990
- 208
-
Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappingsDiepstraten, Eduard / Kuiper, Ruurd et al. | 1990
- 239
-
Algebraic implementation of objects over objectsEhrich, H. -D. / Sernadas, A. et al. | 1990
- 267
-
Refinement of actions in causality based modelsGlabbeek, Rob / Goltz, Ursula et al. | 1990
- 301
-
Transformation of combined data type and process specifications using projection algebrasGroße-Rhode, M. / Ehrig, H. et al. | 1990
- 340
-
Various simulations and refinementsJifeng, He et al. | 1990
- 361
-
On decomposing and refining specifications of distributed systemsJonsson, Bengt et al. | 1990
- 386
-
Verifying the correctness of AADL modules using model checkingJosko, Bernhard et al. | 1990
- 401
-
Specialization in logic programming: From horn clause logic to prolog and concurrent prologKok, Joost N. et al. | 1990
- 414
-
Analysis of discrete event coordinationKurshan, R. P. et al. | 1990
- 454
-
Refinement and projection of relational specificationsLam, Simon S. / Shankar, A. Udaya et al. | 1990
- 487
-
Compositional theories based on an operational semantics of contextsLarsen, Kim Guldstrand et al. | 1990
- 519
-
Multivalued possibilities mappingsLynch, Nancy A. et al. | 1990
- 544
-
Completeness theorems for automataMerritt, Michael et al. | 1990
- 561
-
Formal verification of data type refinement — Theory and practiceNipkow, Tobias et al. | 1990
- 592
-
From trace specifications to process termsOlderog, Ernst-Rüdiger et al. | 1990
- 622
-
Some comments on the assumption-commitment framework for compositional verification of distributed programsPandya, Paritosh K. et al. | 1990
- 641
-
Refinement of concurrent systems based on local state transformationsPomello, Lucia et al. | 1990
- 669
-
Construction of network protocols by stepwise refinementShankar, A. Udaya / Lam, Simon S. et al. | 1990
- 696
-
A derivation of a broadcasting protocol using sequentially phased reasoningStomp, F. A. et al. | 1990
- 731
-
Verifying atomic data typesWing, Jeannette M. et al. | 1990
- 759
-
Predicates, predicate transformers and refinementZwiers, Job et al. | 1990
- 777
-
Foundations of compositional program refinementGerth, Rob et al. | 1990