- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2023
- Schlagwort
-
Verifikation
Formale Methode
Programmverifikation
Automatisches Beweisverfahren
Korrektheit
Softwaretest
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2023
- Urheber
-
Sammler, Michael Joachim
- Beteiligte Personen und Organisationen
-
Garg, Deepak
- DOI
-
10.22028/D291-41316
- URN
-
urn:nbn:de:bsz:291--ds-413162
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:34 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
- Sammler, Michael Joachim
- Garg, Deepak
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2023
Ähnliche Objekte (12)
Automated deductive verification of probabilistic programs
symQV : Automated Symbolic Verification of Quantum Programs
Verification of pointer programs
Verification of business rules programs
Verification of Java card programs
Verification of JavaCard programs
Verification of Java card programs
Applicable and sound polyhedral optimization of low-level programs
American foundational myths
Concepts: foundational issues
Verification of sequential and concurrent programs
On the verification of SCOOP programs
Automated deductive verification of probabilistic programs
symQV : Automated Symbolic Verification of Quantum Programs
Verification of pointer programs
Verification of business rules programs
Verification of Java card programs
Verification of JavaCard programs
Verification of Java card programs
Applicable and sound polyhedral optimization of low-level programs
American foundational myths
Concepts: foundational issues
Verification of sequential and concurrent programs
On the verification of SCOOP programs
Automated deductive verification of probabilistic programs
symQV : Automated Symbolic Verification of Quantum Programs
Verification of pointer programs
Verification of business rules programs
Verification of Java card programs
Verification of JavaCard programs
Verification of Java card programs
Applicable and sound polyhedral optimization of low-level programs
American foundational myths
Concepts: foundational issues
Verification of sequential and concurrent programs