Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme
- Sprache
-
Deutsch
- Identifier
-
1205370579
Thema
Model Checking; Verifikation; Zustandsraum; Modelltransformation; Hamburg
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:56 MEZ
Beteiligte
- Padberg, Julia
- Schlaefer, Alexander
- Schupp, Sibylle
Ähnliche Objekte (12)
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Incomplete property checking for asynchronous reactive systems
Explicit state space verification
System-on-chip protocol compliance verification using interval property checking = Verifikation von System-on-Chip-Protokollimplementierungen durch intervallbasierte Eigenschaftsprüfung
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
Verification of continuous-space stochastic systems
On the analysis of stochastic timed systems
Modellgenerierung für die SAT-basierte Eigenschaftsprüfung
Verifikation unvollständiger Schaltkreise
Eine vollständig verifizierte, ausführbare Formelübersetzung à la SPIN
Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen
Model-based quality assurance of intrumented context-free systems
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Incomplete property checking for asynchronous reactive systems
Explicit state space verification
System-on-chip protocol compliance verification using interval property checking = Verifikation von System-on-Chip-Protokollimplementierungen durch intervallbasierte Eigenschaftsprüfung
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
Verification of continuous-space stochastic systems
On the analysis of stochastic timed systems
Modellgenerierung für die SAT-basierte Eigenschaftsprüfung
Verifikation unvollständiger Schaltkreise
Eine vollständig verifizierte, ausführbare Formelübersetzung à la SPIN
Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen
Model-based quality assurance of intrumented context-free systems
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Incomplete property checking for asynchronous reactive systems
Explicit state space verification
System-on-chip protocol compliance verification using interval property checking = Verifikation von System-on-Chip-Protokollimplementierungen durch intervallbasierte Eigenschaftsprüfung
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
Verification of continuous-space stochastic systems
On the analysis of stochastic timed systems
Modellgenerierung für die SAT-basierte Eigenschaftsprüfung
Verifikation unvollständiger Schaltkreise
Eine vollständig verifizierte, ausführbare Formelübersetzung à la SPIN
Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen