Hochschulschrift
Cartesian abstraction and verification of multithreaded programs
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Freiburg (Breisgau), Univ., Diss., 2010
- Klassifikation
-
Informatik
- Schlagwort
-
Model Checking ; Nebenläufigkeit ; Abstrakte Interpretation ; Verfeinerung ; Verifikation ; Korrektheit ; Semantikerhaltende Transformation ; Multithr
- Urheber
- URN
-
urn:nbn:de:bsz:25-opus-73568
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 MEZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Graph grammar verification through abstraction
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Formal abstraction and verification of analog circuits
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Verification of pointer programs
Verification of sequential and concurrent programs
Abstraction and performance in the design of parallel programs
Verification of business rules programs
Verification of Java card programs
Verification of JavaCard programs
Graph grammar verification through abstraction
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Formal abstraction and verification of analog circuits
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Verification of pointer programs
Verification of sequential and concurrent programs
Abstraction and performance in the design of parallel programs
Verification of business rules programs
Verification of Java card programs
Verification of JavaCard programs
Graph grammar verification through abstraction
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Formal abstraction and verification of analog circuits
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Verification of pointer programs
Verification of sequential and concurrent programs
Abstraction and performance in the design of parallel programs
Verification of business rules programs
Verification of Java card programs