Verfügbarkeit: Towards cooperative software verification with test generation and formal verification

Towards cooperative software verification with test generation and formal verification:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lemberger, Thomas (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	English
Veröffentlicht:	München 2022
Schlagworte:	Softwaretest Formale Methode Model Checking Programmverifikation Verifikation Softwareentwicklung Hochschulschrift
Online-Zugang:	Volltext Volltext
Beschreibung:	ix, 172 Seiten Diagramme
DOI:	10.5282/edoc.32852

Internformat

MARC


LEADER	00000nam a2200000zc 4500
001	BV049495925
003	DE-604
007	t\|
008	240111s2022 gw \|\|\|\| m\|\|\| 00\|\|\| eng d
015			\|a 24,O01 \|2 dnb
035			\|a (OCoLC)1418690993
035			\|a (DE-599)BVBBV049495925
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 2\p \|a 004 \|2 23sdnb
084			\|8 1\p \|a 005.14 \|2 23ksdnb
100	1		\|a Lemberger, Thomas \|e Verfasser \|0 (DE-588)1313582255 \|4 aut
245	1	0	\|a Towards cooperative software verification with test generation and formal verification \|c Thomas Lemberger
264		1	\|a München \|c 2022
300			\|a ix, 172 Seiten \|b 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 Softwaretest \|0 (DE-588)4132652-0 \|2 gnd
650	0	7	\|8 4\p \|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd
650	0	7	\|8 5\p \|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd
650	0	7	\|8 6\p \|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd
650	0	7	\|8 7\p \|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd
650	0	7	\|8 8\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-328522 \|o 10.5282/edoc.32852
856	4	1	\|u https://doi.org/10.5282/edoc.32852 \|x Verlag \|z kostenfrei \|3 Volltext
856	4	1	\|u https://nbn-resolving.org/urn:nbn:de:bvb:19-328522 \|x Resolving-System \|z kostenfrei \|3 Volltext
883	0		\|8 1\p \|a emakn \|c 0,97612 \|d 20231219 \|q DE-101 \|u https://d-nb.info/provenance/plan#emakn
883	0		\|8 2\p \|a emasg \|c 0,89743 \|d 20231219 \|q DE-101 \|u https://d-nb.info/provenance/plan#emasg
883	0		\|8 3\p \|a emagnd \|c 0,85316 \|d 20231219 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 4\p \|a emagnd \|c 0,55914 \|d 20231219 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 5\p \|a emagnd \|c 0,47841 \|d 20231219 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 6\p \|a emagnd \|c 0,41860 \|d 20231219 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 7\p \|a emagnd \|c 0,41211 \|d 20231219 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 8\p \|a emagnd \|c 0,29080 \|d 20231219 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
912			\|a ebook
943	1		\|a oai:aleph.bib-bvb.de:BVB01-034841149

Datensatz im Suchindex

_version_	1822694092084084736
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author	Lemberger, Thomas
author_GND	(DE-588)1313582255
author_facet	Lemberger, Thomas
author_role	aut
author_sort	Lemberger, Thomas
author_variant	t l tl
building	Verbundindex
bvnumber	BV049495925
collection	ebook
ctrlnum	(OCoLC)1418690993 (DE-599)BVBBV049495925
doi_str_mv	10.5282/edoc.32852
format	Thesis Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV049495925</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">240111s2022 gw \|\|\|\| m\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">24,O01</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1418690993</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049495925</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">2\p</subfield><subfield code="a">004</subfield><subfield code="2">23sdnb</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="100" ind1="1" ind2=" "><subfield code="a">Lemberger, Thomas</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1313582255</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Towards cooperative software verification with test generation and formal verification</subfield><subfield code="c">Thomas Lemberger</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">ix, 172 Seiten</subfield><subfield code="b">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">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">4\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">5\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">6\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">7\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">8\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-328522</subfield><subfield code="o">10.5282/edoc.32852</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.5282/edoc.32852</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-328522</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">emakn</subfield><subfield code="c">0,97612</subfield><subfield code="d">20231219</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emakn</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">emasg</subfield><subfield code="c">0,89743</subfield><subfield code="d">20231219</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,85316</subfield><subfield code="d">20231219</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,55914</subfield><subfield code="d">20231219</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,47841</subfield><subfield code="d">20231219</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,41860</subfield><subfield code="d">20231219</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,41211</subfield><subfield code="d">20231219</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,29080</subfield><subfield code="d">20231219</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034841149</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV049495925
illustrated	Not Illustrated
index_date	2024-07-03T23:20:26Z
indexdate	2025-01-30T17:02:21Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-034841149
oclc_num	1418690993
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	ix, 172 Seiten Diagramme
psigel	ebook
publishDate	2022
publishDateSearch	2022
publishDateSort	2022
record_format	marc
spelling	Lemberger, Thomas Verfasser (DE-588)1313582255 aut Towards cooperative software verification with test generation and formal verification Thomas Lemberger München 2022 ix, 172 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Dissertation München, Ludwig-Maximilians-Universität 2022 3\p Softwaretest (DE-588)4132652-0 gnd 4\p Formale Methode (DE-588)4333722-3 gnd 5\p Model Checking (DE-588)4434799-6 gnd 6\p Programmverifikation (DE-588)4135576-3 gnd 7\p Verifikation (DE-588)4135577-5 gnd 8\p Softwareentwicklung (DE-588)4116522-6 gnd (DE-588)4113937-9 Hochschulschrift gnd-content Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:19-328522 10.5282/edoc.32852 https://doi.org/10.5282/edoc.32852 Verlag kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:bvb:19-328522 Resolving-System kostenfrei Volltext 1\p emakn 0,97612 20231219 DE-101 https://d-nb.info/provenance/plan#emakn 2\p emasg 0,89743 20231219 DE-101 https://d-nb.info/provenance/plan#emasg 3\p emagnd 0,85316 20231219 DE-101 https://d-nb.info/provenance/plan#emagnd 4\p emagnd 0,55914 20231219 DE-101 https://d-nb.info/provenance/plan#emagnd 5\p emagnd 0,47841 20231219 DE-101 https://d-nb.info/provenance/plan#emagnd 6\p emagnd 0,41860 20231219 DE-101 https://d-nb.info/provenance/plan#emagnd 7\p emagnd 0,41211 20231219 DE-101 https://d-nb.info/provenance/plan#emagnd 8\p emagnd 0,29080 20231219 DE-101 https://d-nb.info/provenance/plan#emagnd
spellingShingle	Lemberger, Thomas Towards cooperative software verification with test generation and formal verification 3\p Softwaretest (DE-588)4132652-0 gnd 4\p Formale Methode (DE-588)4333722-3 gnd 5\p Model Checking (DE-588)4434799-6 gnd 6\p Programmverifikation (DE-588)4135576-3 gnd 7\p Verifikation (DE-588)4135577-5 gnd 8\p Softwareentwicklung (DE-588)4116522-6 gnd
subject_GND	(DE-588)4132652-0 (DE-588)4333722-3 (DE-588)4434799-6 (DE-588)4135576-3 (DE-588)4135577-5 (DE-588)4116522-6 (DE-588)4113937-9
title	Towards cooperative software verification with test generation and formal verification
title_auth	Towards cooperative software verification with test generation and formal verification
title_exact_search	Towards cooperative software verification with test generation and formal verification
title_exact_search_txtP	Towards cooperative software verification with test generation and formal verification
title_full	Towards cooperative software verification with test generation and formal verification Thomas Lemberger
title_fullStr	Towards cooperative software verification with test generation and formal verification Thomas Lemberger
title_full_unstemmed	Towards cooperative software verification with test generation and formal verification Thomas Lemberger
title_short	Towards cooperative software verification with test generation and formal verification
title_sort	towards cooperative software verification with test generation and formal verification
topic	3\p Softwaretest (DE-588)4132652-0 gnd 4\p Formale Methode (DE-588)4333722-3 gnd 5\p Model Checking (DE-588)4434799-6 gnd 6\p Programmverifikation (DE-588)4135576-3 gnd 7\p Verifikation (DE-588)4135577-5 gnd 8\p Softwareentwicklung (DE-588)4116522-6 gnd
topic_facet	Softwaretest Formale Methode Model Checking Programmverifikation Verifikation Softwareentwicklung Hochschulschrift
url	https://doi.org/10.5282/edoc.32852 https://nbn-resolving.org/urn:nbn:de:bvb:19-328522
work_keys_str_mv	AT lembergerthomas towardscooperativesoftwareverificationwithtestgenerationandformalverification

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