Formal verification of hardware-software-interfaces / Christoph Lüth, Dieter Hutter, Milan Funck, Jan Zielasko ; Herausgeberin: Agentur für Innovation in der Cybersicherheit GmbH

Kurzanzeige
cbs.date.changed26-03-06
cbs.date.creation26-03-06
cbs.publication.displayformHalle (Saale), Germany : Agentur für Innovation in der Cybersicherheit GmbH, 2023
dc.contributor.authorLüth, Christoph
dc.contributor.authorHutter, Dieter
dc.contributor.authorFunck, Milan
dc.contributor.authorZielasko, Jan
dc.contributor.otherAgentur für Innovation in der Cybersicherheit
dc.date.accessioned2026-03-06T06:19:11Z
dc.date.issued2023
dc.description.noteLiteraturverzeichnis: Seite 28-50
dc.format.extent1 Online-Ressource (51 Seiten, 2,25 MB)
dc.identifier.ppn1963576322
dc.identifier.urihttps://epflicht.bibliothek.uni-halle.de/handle/123456789/117840
dc.identifier.urnurn:nbn:de:gbv:3:2-123456789-1178400
dc.language.isoeng
dc.publisherAgentur für Innovation in der Cybersicherheit GmbH, Halle (Saale), Germany
dc.relation.ispartofseriesEcosystem for trustworthy IT. Agentur für Innovation in der Cybersicherheit GmbH
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject.ddc005.8
dc.titleFormal verification of hardware-software-interfaces / Christoph Lüth, Dieter Hutter, Milan Funck, Jan Zielasko ; Herausgeberin: Agentur für Innovation in der Cybersicherheit GmbH
dspace.entity.typeMonograph
local.accessrights.itemAnonymous
local.publication.countryXA-DE-ST
local.publication.editionVersion 1.0 (Final Version), 31st January 2023
local.subject.keywordsWe report on the state of the art in the area of formal verification at the hardware-software interface. Following a systematic survey of the literature covering the last ten years, we can give a landscape of existing verified systems and verification tools. Verification methods have come of age, with verified operating system kernels, compilers, and hardware, but there are still substantial gaps, in particular with respect to security; we detail these research needs and propose directions for future research efforts.

Dateien

Originalbündel
Gerade angezeigt 1 - 1 von 1
Vorschaubild
Name:
ÖvIT Vorstudien Los 3 ISA.pdf
Größe:
2.25 MB
Format:
Adobe Portable Document Format
Beschreibung:
Formal verification of hardware-software-interfaces
Herunterladen Formal verification of hardware-software-interfaces

Sammlungen

E-Book