Moderne Graphalgorithmen für die formale Verifikation

dc.contributor.author	Svozil, Alexander
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2022-12-02T12:57:51Z
dc.date.available	2022-12-02T12:57:51Z
dc.date.issued	2022
dc.description.abstract	In der formalen Verifikation versucht man Fehler von Systemen automatisch zu finden. Ein Modellprüfer kontrolliert ob ein gegebenes Modell eines Systems eine Anforderung erfüllt. In der reaktiven Synthese wird mit einer gegebenen Anforderung ein korrektes reaktives System erzeugt. Wir verbinden das Gebiet der modernen theoretischen Graphalgorithmen mit dem Gebiet der formalen Verifikation indem wir schnellere Algorithmen für algorithmische Probleme in der Modellprüfung und der reaktiven Synthese in der Dissertation vorstellen. Neben gewohnten “expliziten” Algorithmen stellen wir symbolische Algorithmen vor – Symbolische Algorithmen erlauben zwar nur einen limitierten Zugang zur Eingabe, ermöglichen aber eine effizientere Speicherrepräsentation.	de
dc.identifier.isbn	978-3-88579-980-1
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/39849
dc.language.iso	de
dc.publisher	Köllen Druck + Verlag GmbH
dc.relation.ispartof	D22
dc.relation.ispartofseries	Ausgezeichnete Informatikdissertationen 2021
dc.title	Moderne Graphalgorithmen für die formale Verifikation	de
dc.type	Text/Conference Paper
gi.citation.endPage	270
gi.citation.publisherPlace	Bonn
gi.citation.startPage	261
gi.conference.date	22.-25. Mai 2022
gi.conference.location	Schoss Dagstuhl, Deutschland

Dateien

1 - 1 von 1