> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Synthesizing realistic verification tasks Beteiligte: Jasper, Marc [Verfasser]; Steffen, Bernhard [Akademischer Betreuer]; Siegel, Stephen F. [Gutachter] Erschienen: Dortmund: Universitätsbibliothek Dortmund, 2021 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Steffen, Bernhard 1844-1891 ; Bisimulation ; Benchmark ; Programmverifikation ; Model Checking ; Temporale Logik ; Synthese ; Benchmark generation ; Program verification ; Model checking ; Bisimulation checking ; Temporal logics ; LTL ; HML ; CTL ; Hard benchmarks ; Error witnesses ; Synthesis ; Parallel decomposition ; Property preservation ; Modal transition systems ; Modal contracts ; Alphabet extension Entstehung: Hochschulschrift: Dissertation, Dortmund, Technische Universität, 2021 Anmerkungen: Zugangsstatus: Freier Zugang