Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=041355768



Zurück



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4135576-3
Sachbegriff Programmverifikation
Quelle Lex. Kybern.
Oberbegriffe Verifikation
Thematischer Bezug Verwandter Begriff: Hoare-Logik
DDC-Notation 005.14
Systematik 30 Informatik, Datenverarbeitung
Andere Normdaten LCSH: Computer programs -- Verification
LCSH: Computer software -- Verification
LCSH: Computer systems -- Verification
RAMEAU: Logiciels -- Vérification
Untergeordnet 1 Datensatz
  1. Symbolische Ausführung
    Softwaretest
Thema in 330 Publikationen
  1. Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung
    Schulz, Marc. - Düsseldorf : VDI Verlag GmbH, [2019], Als Manuskript gedruckt
  2. Applying CDCL to verification and test: when laziness pays off
    Scheibler, Karsten. - Freiburg : Universität, 2017
  3. ...
Maschinell verknüpft mit 19 Publikationen
  1. Automated Reasoning under Weak Memory Consistency
    Kokologiannakis, Michail. - Kaiserslautern-Landau : Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2024
  2. Certificates for automata in a hostile environment
    Muskalla, Sebastian. - Braunschweig : Technische Universität Braunschweig, 2024
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration