Verfügbarkeit: Witness-based validation of verification results with applications to software-model checking

Witness-based validation of verification results with applications to software-model checking:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Dangl, Matthias 1989- (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	English
Veröffentlicht:	München 2022
Schlagworte:	Verifikation Programmverifikation Formale Methode Programmanalyse Softwaretest Model Checking Softwareentwicklung Hochschulschrift
Online-Zugang:	kostenfrei kostenfrei
Beschreibung:	240 Seiten Illustrationen, Diagramme
DOI:	10.5282/edoc.31508

Internformat

MARC


LEADER	00000nam a2200000zc 4500
001	BV048900327
003	DE-604
005	00000000000000.0
007	t
008	230414s2022 gw a\|\|\| m\|\|\| 00\|\|\| eng d
015			\|a 23,O05 \|2 dnb
035			\|a (OCoLC)1376414767
035			\|a (DE-599)BVBBV048900327
040			\|a DE-604 \|b ger
041	0		\|a eng
044			\|a gw \|c XA-DE-BY
049			\|a DE-384 \|a DE-473 \|a DE-703 \|a DE-1051 \|a DE-824 \|a DE-29 \|a DE-12 \|a DE-91 \|a DE-19 \|a DE-1049 \|a DE-92 \|a DE-739 \|a DE-898 \|a DE-355 \|a DE-706 \|a DE-20 \|a DE-1102 \|a DE-860 \|a DE-2174
084			\|8 1\p \|a 005.14 \|2 23ksdnb
084			\|8 2\p \|a 004 \|2 23sdnb
100	1		\|a Dangl, Matthias \|d 1989- \|e Verfasser \|0 (DE-588)1285647688 \|4 aut
245	1	0	\|a Witness-based validation of verification results with applications to software-model checking \|c Matthias Dangl
264		1	\|a München \|c 2022
300			\|a 240 Seiten \|b Illustrationen, Diagramme
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
502			\|b Dissertation \|c München, Ludwig-Maximilians-Universität \|d 2022
650	0	7	\|8 3\p \|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd
650	0	7	\|8 4\p \|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd
650	0	7	\|8 5\p \|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd
650	0	7	\|8 6\p \|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd
650	0	7	\|8 7\p \|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd
650	0	7	\|8 8\p \|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd
650	0	7	\|8 9\p \|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|o urn:nbn:de:bvb:19-315089 \|o 10.5282/edoc.31508
856	4	1	\|u https://doi.org/10.5282/edoc.31508 \|x Verlag \|z kostenfrei \|3 Volltext
856	4	1	\|u https://nbn-resolving.org/urn:nbn:de:bvb:19-315089 \|x Resolving-System \|z kostenfrei \|3 Volltext
912			\|a ebook
999			\|a oai:aleph.bib-bvb.de:BVB01-034164749
883	0		\|8 1\p \|a aepkn \|c 0,94326 \|d 20230411 \|q DE-101 \|u https://d-nb.info/provenance/plan#aepkn
883	0		\|8 2\p \|a emasg \|c 0,71002 \|d 20230411 \|q DE-101 \|u https://d-nb.info/provenance/plan#emasg
883	0		\|8 3\p \|a emagnd \|c 0,97058 \|d 20230411 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 4\p \|a emagnd \|c 0,54978 \|d 20230411 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 5\p \|a emagnd \|c 0,49887 \|d 20230411 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 6\p \|a emagnd \|c 0,33228 \|d 20230411 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 7\p \|a emagnd \|c 0,32110 \|d 20230411 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 8\p \|a emagnd \|c 0,24054 \|d 20230411 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 9\p \|a emagnd \|c 0,15895 \|d 20230411 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd

Datensatz im Suchindex

_version_	1804185063539081216
adam_txt
any_adam_object
any_adam_object_boolean
author	Dangl, Matthias 1989-
author_GND	(DE-588)1285647688
author_facet	Dangl, Matthias 1989-
author_role	aut
author_sort	Dangl, Matthias 1989-
author_variant	m d md
building	Verbundindex
bvnumber	BV048900327
collection	ebook
ctrlnum	(OCoLC)1376414767 (DE-599)BVBBV048900327
doi_str_mv	10.5282/edoc.31508
format	Thesis Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02756nam a2200553zc 4500</leader><controlfield tag="001">BV048900327</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">230414s2022 gw a\|\|\| m\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">23,O05</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1376414767</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048900327</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-2174</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="8">1\p</subfield><subfield code="a">005.14</subfield><subfield code="2">23ksdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="8">2\p</subfield><subfield code="a">004</subfield><subfield code="2">23sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dangl, Matthias</subfield><subfield code="d">1989-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1285647688</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Witness-based validation of verification results with applications to software-model checking</subfield><subfield code="c">Matthias Dangl</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">240 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">München, Ludwig-Maximilians-Universität</subfield><subfield code="d">2022</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">3\p</subfield><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">4\p</subfield><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">5\p</subfield><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">6\p</subfield><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">7\p</subfield><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">8\p</subfield><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">9\p</subfield><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">urn:nbn:de:bvb:19-315089</subfield><subfield code="o">10.5282/edoc.31508</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.5282/edoc.31508</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:bvb:19-315089</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034164749</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">aepkn</subfield><subfield code="c">0,94326</subfield><subfield code="d">20230411</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#aepkn</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">emasg</subfield><subfield code="c">0,71002</subfield><subfield code="d">20230411</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emasg</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,97058</subfield><subfield code="d">20230411</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,54978</subfield><subfield code="d">20230411</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,49887</subfield><subfield code="d">20230411</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">6\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,33228</subfield><subfield code="d">20230411</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">7\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,32110</subfield><subfield code="d">20230411</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">8\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,24054</subfield><subfield code="d">20230411</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">9\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,15895</subfield><subfield code="d">20230411</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV048900327
illustrated	Illustrated
index_date	2024-07-03T21:50:48Z
indexdate	2024-07-10T09:49:17Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-034164749
oclc_num	1376414767
open_access_boolean	1
owner	DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-860 DE-2174
owner_facet	DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-860 DE-2174
physical	240 Seiten Illustrationen, Diagramme
psigel	ebook
publishDate	2022
publishDateSearch	2022
publishDateSort	2022
record_format	marc
spelling	Dangl, Matthias 1989- Verfasser (DE-588)1285647688 aut Witness-based validation of verification results with applications to software-model checking Matthias Dangl München 2022 240 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Dissertation München, Ludwig-Maximilians-Universität 2022 3\p Verifikation (DE-588)4135577-5 gnd 4\p Programmverifikation (DE-588)4135576-3 gnd 5\p Formale Methode (DE-588)4333722-3 gnd 6\p Programmanalyse (DE-588)4175841-9 gnd 7\p Softwaretest (DE-588)4132652-0 gnd 8\p Model Checking (DE-588)4434799-6 gnd 9\p Softwareentwicklung (DE-588)4116522-6 gnd (DE-588)4113937-9 Hochschulschrift gnd-content Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:19-315089 10.5282/edoc.31508 https://doi.org/10.5282/edoc.31508 Verlag kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:bvb:19-315089 Resolving-System kostenfrei Volltext 1\p aepkn 0,94326 20230411 DE-101 https://d-nb.info/provenance/plan#aepkn 2\p emasg 0,71002 20230411 DE-101 https://d-nb.info/provenance/plan#emasg 3\p emagnd 0,97058 20230411 DE-101 https://d-nb.info/provenance/plan#emagnd 4\p emagnd 0,54978 20230411 DE-101 https://d-nb.info/provenance/plan#emagnd 5\p emagnd 0,49887 20230411 DE-101 https://d-nb.info/provenance/plan#emagnd 6\p emagnd 0,33228 20230411 DE-101 https://d-nb.info/provenance/plan#emagnd 7\p emagnd 0,32110 20230411 DE-101 https://d-nb.info/provenance/plan#emagnd 8\p emagnd 0,24054 20230411 DE-101 https://d-nb.info/provenance/plan#emagnd 9\p emagnd 0,15895 20230411 DE-101 https://d-nb.info/provenance/plan#emagnd
spellingShingle	Dangl, Matthias 1989- Witness-based validation of verification results with applications to software-model checking 3\p Verifikation (DE-588)4135577-5 gnd 4\p Programmverifikation (DE-588)4135576-3 gnd 5\p Formale Methode (DE-588)4333722-3 gnd 6\p Programmanalyse (DE-588)4175841-9 gnd 7\p Softwaretest (DE-588)4132652-0 gnd 8\p Model Checking (DE-588)4434799-6 gnd 9\p Softwareentwicklung (DE-588)4116522-6 gnd
subject_GND	(DE-588)4135577-5 (DE-588)4135576-3 (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4132652-0 (DE-588)4434799-6 (DE-588)4116522-6 (DE-588)4113937-9
title	Witness-based validation of verification results with applications to software-model checking
title_auth	Witness-based validation of verification results with applications to software-model checking
title_exact_search	Witness-based validation of verification results with applications to software-model checking
title_exact_search_txtP	Witness-based validation of verification results with applications to software-model checking
title_full	Witness-based validation of verification results with applications to software-model checking Matthias Dangl
title_fullStr	Witness-based validation of verification results with applications to software-model checking Matthias Dangl
title_full_unstemmed	Witness-based validation of verification results with applications to software-model checking Matthias Dangl
title_short	Witness-based validation of verification results with applications to software-model checking
title_sort	witness based validation of verification results with applications to software model checking
topic	3\p Verifikation (DE-588)4135577-5 gnd 4\p Programmverifikation (DE-588)4135576-3 gnd 5\p Formale Methode (DE-588)4333722-3 gnd 6\p Programmanalyse (DE-588)4175841-9 gnd 7\p Softwaretest (DE-588)4132652-0 gnd 8\p Model Checking (DE-588)4434799-6 gnd 9\p Softwareentwicklung (DE-588)4116522-6 gnd
topic_facet	Verifikation Programmverifikation Formale Methode Programmanalyse Softwaretest Model Checking Softwareentwicklung Hochschulschrift
url	https://doi.org/10.5282/edoc.31508 https://nbn-resolving.org/urn:nbn:de:bvb:19-315089
work_keys_str_mv	AT danglmatthias witnessbasedvalidationofverificationresultswithapplicationstosoftwaremodelchecking

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge