Verification, model checking, and abstract interpretation: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2004
|
| Schriftenreihe: | Lecture notes in computer science
2937 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 324 S. |
| ISBN: | 3540208038 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV017742663 | ||
| 003 | DE-604 | ||
| 005 | 20040707 | ||
| 007 | t| | ||
| 008 | 031217s2004 gw |||| 10||| eng d | ||
| 016 | 7 | |a 969607261 |2 DE-101 | |
| 020 | |a 3540208038 |9 3-540-20803-8 | ||
| 035 | |a (OCoLC)54400193 | ||
| 035 | |a (DE-599)BVBBV017742663 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-91G |a DE-473 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.76.V47 | |
| 082 | 0 | |a 005.1/4 |2 22 | |
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Verification, model checking, and abstract interpretation |b 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings |c Bernhard Steffen ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2004 | |
| 300 | |a XI, 324 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2937 | |
| 650 | 4 | |a Logiciels - Vérification - Congrès | |
| 650 | 7 | |a Model-checking (Informatique) |2 rasuqam | |
| 650 | 7 | |a Méthode formelle |2 rasuqam | |
| 650 | 7 | |a Vérification de logiciels |2 rasuqam | |
| 650 | 4 | |a Computer programs |x Verification |v Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2004 |z Venedig |2 gnd-content | |
| 689 | 0 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Steffen, Bernhard |e Sonstige |4 oth | |
| 711 | 2 | |a VMCAI |n 5 |d 2004 |c Venedig |j Sonstige |0 (DE-588)10070957-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2937 |w (DE-604)BV000000607 |9 2937 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010663471&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010663471 | |
Datensatz im Suchindex
| _version_ | 1820874931114606592 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
TUTORIAL
SECURITY,
PROTOCOLS,
AND
TRUST
.
1
J.D.
GUTTMAN
SECURITY
SECURITY
TYPES
PRESERVING
COMPILATION
.
2
G.
BARTHE,
A.
BASU,
T.
REZK
HISTORY-DEPENDENT
SCHEDULING
FOR
CRYPTOGRAPHIC
PROCESSES
.
16
V.
VANACK`ERE
FORMAL
METHODS
I
CONSTRUCTION
OF
A
SEMANTIC
MODEL
FOR
A
TYPED
ASSEMBLY
LANGUAGE
.
30
G.
TAN,
A.W.
APPEL,
K.N.
SWADI,
D.
WU
RULE-BASED
RUNTIME
VERIFICATION
.
44
H.
BARRINGER,
A.
GOLDBERG,
K.
HAVELUND,
K.
SEN
INVITED
TALK
ON
THE
EXPRESSIVE
POWER
OF
CANONICAL
ABSTRACTION
.
58
M.
SAGIV
MISCELLANEOUS
BOOLEAN
ALGEBRA
OF
SHAPE
ANALYSIS
CONSTRAINTS
.
59
V.
KUNCAK,
M.
RINARD
MODEL
CHECKING
APPROXIMATE
PROBABILISTIC
MODEL
CHECKING
.
73
T.
H´ERAULT,
R.
LASSAIGNE,
F.
MAGNIETTE,
S.
PEYRONNET
COMPLETENESS
AND
COMPLEXITY
OF
BOUNDED
MODEL
CHECKING
.
85
E.
CLARKE,
D.
KROENING,
J.
OUAKNINE,
O.
STRICHMAN
MODEL
CHECKING
FOR
OBJECT
SPECIFICATIONS
IN
HIDDEN
ALGEBRA
.
97
D.
LUCANU,
G.
CIOBANU
VERWENDETE DISTILLER 5.0.X JOBOPTIONS
DIESER REPORT WURDE AUTOMATISCH MIT HILFE DER ADOBE ACROBAT DISTILLER
ERWEITERUNG "DISTILLER SECRETS V1.0.5" DER IMPRESSED GMBH ERSTELLT. SIE
KOENNEN DIESE STARTUP-DATEI FUER DIE DISTILLER VERSIONEN 4.0.5 UND 5.0.X
KOSTENLOS UNTER HTTP://WWW.IMPRESSED.DE HERUNTERLADEN. ALLGEMEIN
---------------------------------------- DATEIOPTIONEN: KOMPATIBILITAET:
PDF 1.3 FUER SCHNELLE WEB-ANZEIGE OPTIMIEREN: NEIN PIKTOGRAMME EINBETTEN:
NEIN SEITEN AUTOMATISCH DREHEN: NEIN SEITEN VON: 1 SEITEN BIS: ALLE
SEITEN BUND: LINKS AUFLOESUNG: [ 2400 2400 ] DPI PAPIERFORMAT: [ 439.348
666.107 ] PUNKT KOMPRIMIERUNG ----------------------------------------
FARBBILDER: DOWNSAMPLING: JA BERECHNUNGSMETHODE: BIKUBISCHE
NEUBERECHNUNG DOWNSAMPLE-AUFLOESUNG: 300 DPI DOWNSAMPLING FUER BILDER
UEBER: 450 DPI KOMPRIMIEREN: JA AUTOMATISCHE BESTIMMUNG DER
KOMPRIMIERUNGSART: JA JPEG-QUALITAET: MAXIMAL BITANZAHL PRO PIXEL: WIE
ORIGINAL BIT GRAUSTUFENBILDER: DOWNSAMPLING: JA BERECHNUNGSMETHODE:
BIKUBISCHE NEUBERECHNUNG DOWNSAMPLE-AUFLOESUNG: 300 DPI DOWNSAMPLING FUER
BILDER UEBER: 450 DPI KOMPRIMIEREN: JA AUTOMATISCHE BESTIMMUNG DER
KOMPRIMIERUNGSART: JA JPEG-QUALITAET: MAXIMAL BITANZAHL PRO PIXEL: WIE
ORIGINAL BIT SCHWARZWEISS-BILDER: DOWNSAMPLING: JA BERECHNUNGSMETHODE:
BIKUBISCHE NEUBERECHNUNG DOWNSAMPLE-AUFLOESUNG: 2400 DPI DOWNSAMPLING FUER
BILDER UEBER: 3600 DPI KOMPRIMIEREN: JA KOMPRIMIERUNGSART: CCITT
CCITT-GRUPPE: 4 GRAUSTUFEN GLAETTEN: NEIN TEXT UND VEKTORGRAFIKEN
KOMPRIMIEREN: JA SCHRIFTEN ---------------------------------------- ALLE
SCHRIFTEN EINBETTEN: JA UNTERGRUPPEN ALLER EINGEBETTETEN SCHRIFTEN: NEIN
WENN EINBETTEN FEHLSCHLAEGT: WARNEN UND WEITER EINBETTEN: IMMER
EINBETTEN: [ /COURIER-BOLDOBLIQUE /HELVETICA-BOLDOBLIQUE /COURIER
/HELVETICA-BOLD /TIMES-BOLD /COURIER-BOLD /HELVETICA /TIMES-BOLDITALIC
/TIMES-ROMAN /ZAPFDINGBATS /TIMES-ITALIC /HELVETICA-OBLIQUE
/COURIER-OBLIQUE /SYMBOL ] NIE EINBETTEN: [ ] FARBE(N)
---------------------------------------- FARBMANAGEMENT:
FARBUMRECHNUNGSMETHODE: FARBE NICHT AENDERN METHODE: STANDARD
GERAETEABHAENGIGE DATEN: EINSTELLUNGEN FUER UEBERDRUCKEN BEIBEHALTEN: JA
UNTERFARBREDUKTION UND SCHWARZAUFBAU BEIBEHALTEN: JA TRANSFERFUNKTIONEN:
ANWENDEN RASTEREINSTELLUNGEN BEIBEHALTEN: JA ERWEITERT
---------------------------------------- OPTIONEN: PROLOG/EPILOG
VERWENDEN: JA POSTSCRIPT-DATEI DARF EINSTELLUNGEN UEBERSCHREIBEN: JA
LEVEL 2 COPYPAGE-SEMANTIK BEIBEHALTEN: JA PORTABLE JOB TICKET IN
PDF-DATEI SPEICHERN: NEIN ILLUSTRATOR-UEBERDRUCKMODUS: JA FARBVERLAEUFE ZU
WEICHEN NUANCEN KONVERTIEREN: JA ASCII-FORMAT: NEIN DOCUMENT STRUCTURING
CONVENTIONS (DSC): DSC-KOMMENTARE VERARBEITEN: JA DSC-WARNUNGEN
PROTOKOLLIEREN: NEIN FUER EPS-DATEIEN SEITENGROESSE AENDERN UND GRAFIKEN
ZENTRIEREN: JA EPS-INFO VON DSC BEIBEHALTEN: JA OPI-KOMMENTARE
BEIBEHALTEN: NEIN DOKUMENTINFO VON DSC BEIBEHALTEN: JA ANDERE
---------------------------------------- DISTILLER-KERN VERSION: 5000
ZIP-KOMPRIMIERUNG VERWENDEN: JA OPTIMIERUNGEN DEAKTIVIEREN: NEIN
BILDSPEICHER: 524288 BYTE FARBBILDER GLAETTEN: NEIN GRAUSTUFENBILDER
GLAETTEN: NEIN BILDER ( 257 FARBEN) IN INDIZIERTEN FARBRAUM
KONVERTIEREN: JA SRGB ICC-PROFIL: SRGB IEC61966-2.1 ENDE DES REPORTS
---------------------------------------- IMPRESSED GMBH BAHRENFELDER
CHAUSSEE 49 22761 HAMBURG, GERMANY TEL. +49 40 897189-0 FAX +49 40
897189-71 EMAIL: INFO@IMPRESSED.DE WEB: WWW.IMPRESSED.DE
ADOBE ACROBAT DISTILLER 5.0.X JOBOPTION DATEI
/COLORSETTINGSFILE () /ANTIALIASMONOIMAGES FALSE
/CANNOTEMBEDFONTPOLICY /WARNING /PARSEDSCCOMMENTS TRUE /DOTHUMBNAILS
FALSE /COMPRESSPAGES TRUE /CALRGBPROFILE (SRGB IEC61966-2.1)
/MAXSUBSETPCT 100 /ENCODECOLORIMAGES TRUE /GRAYIMAGEFILTER /DCTENCODE
/OPTIMIZE FALSE /PARSEDSCCOMMENTSFORDOCINFO TRUE /EMITDSCWARNINGS FALSE
/CALGRAYPROFILE () /NEVEREMBED [ ] /GRAYIMAGEDOWNSAMPLETHRESHOLD 1.5
/USEPROLOGUE TRUE /GRAYIMAGEDICT /QFACTOR 0.9 /BLEND 1 /HSAMPLES [ 2
1 1 2 ] /VSAMPLES [ 2 1 1 2 ] /AUTOFILTERCOLORIMAGES TRUE
/SRGBPROFILE (SRGB IEC61966-2.1) /COLORIMAGEDEPTH -1
/PRESERVEOVERPRINTSETTINGS TRUE /AUTOROTATEPAGES /NONE /UCRANDBGINFO
/PRESERVE /EMBEDALLFONTS TRUE /COMPATIBILITYLEVEL 1.3 /STARTPAGE 1
/ANTIALIASCOLORIMAGES FALSE /CREATEJOBTICKET FALSE
/CONVERTIMAGESTOINDEXED TRUE /COLORIMAGEDOWNSAMPLETYPE /BICUBIC
/COLORIMAGEDOWNSAMPLETHRESHOLD 1.5 /MONOIMAGEDOWNSAMPLETYPE /BICUBIC
/DETECTBLENDS TRUE /GRAYIMAGEDOWNSAMPLETYPE /BICUBIC /PRESERVEEPSINFO
TRUE /GRAYACSIMAGEDICT /VSAMPLES [ 1 1 1 1 ] /QFACTOR 0.15 /BLEND 1
/HSAMPLES [ 1 1 1 1 ] /COLORTRANSFORM 1 /COLORACSIMAGEDICT
/VSAMPLES [ 1 1 1 1 ] /QFACTOR 0.15 /BLEND 1 /HSAMPLES [ 1 1 1 1 ]
/COLORTRANSFORM 1 /PRESERVECOPYPAGE TRUE /ENCODEMONOIMAGES TRUE
/COLORCONVERSIONSTRATEGY /LEAVECOLORUNCHANGED /PRESERVEOPICOMMENTS FALSE
/ANTIALIASGRAYIMAGES FALSE /GRAYIMAGEDEPTH -1 /COLORIMAGERESOLUTION 300
/ENDPAGE -1 /AUTOPOSITIONEPSFILES TRUE /MONOIMAGEDEPTH -1
/TRANSFERFUNCTIONINFO /APPLY /ENCODEGRAYIMAGES TRUE
/DOWNSAMPLEGRAYIMAGES TRUE /DOWNSAMPLEMONOIMAGES TRUE
/DOWNSAMPLECOLORIMAGES TRUE /MONOIMAGEDOWNSAMPLETHRESHOLD 1.5
/MONOIMAGEDICT /K -1 /BINDING /LEFT /CALCMYKPROFILE (U.S. WEB
COATED (SWOP) V2) /MONOIMAGERESOLUTION 2400 /AUTOFILTERGRAYIMAGES TRUE
/ALWAYSEMBED [ /COURIER-BOLDOBLIQUE /HELVETICA-BOLDOBLIQUE /COURIER
/HELVETICA-BOLD /TIMES-BOLD /COURIER-BOLD /HELVETICA /TIMES-BOLDITALIC
/TIMES-ROMAN /ZAPFDINGBATS /TIMES-ITALIC /HELVETICA-OBLIQUE
/COURIER-OBLIQUE /SYMBOL ] /IMAGEMEMORY 524288 /SUBSETFONTS FALSE
/DEFAULTRENDERINGINTENT /DEFAULT /OPM 1 /MONOIMAGEFILTER /CCITTFAXENCODE
/GRAYIMAGERESOLUTION 300 /COLORIMAGEFILTER /DCTENCODE
/PRESERVEHALFTONEINFO TRUE /COLORIMAGEDICT /QFACTOR 0.9 /BLEND 1
/HSAMPLES [ 2 1 1 2 ] /VSAMPLES [ 2 1 1 2 ] /ASCII85ENCODEPAGES FALSE
/LOCKDISTILLERPARAMS FALSE SETDISTILLERPARAMS /PAGESIZE [ 595.276
841.890 ] /HWRESOLUTION [ 2400 2400 ] SETPAGEDEVICE
X
TABLE
OF
CONTENTS
FORMAL
METHODS
II
MODEL
CHECKING
POLYGONAL
DIFFERENTIAL
INCLUSIONS
USING
INVARIANCE
KERNELS
.
110
G.J.
PACE,
G.
SCHNEIDER
CHECKING
INTERVAL
BASED
PROPERTIES
FOR
REACTIVE
SYSTEMS
.
122
P.
YU,
X.
QIWEN
WIDENING
OPERATORS
FOR
POWERSET
DOMAINS
.
135
R.
BAGNARA,
P.M.
HILL,
E.
ZAFFANELLA
SOFTWARE
CHECKING
TYPE
INFERENCE
FOR
PARAMETERIZED
RACE-FREE
JAVA
.
149
R.
AGARWAL,
S.D.
STOLLER
CERTIFYING
TEMPORAL
PROPERTIES
FOR
COMPILED
C
PROGRAMS
.
161
S.
XIA,
J.
HOOK
VERIFYING
ATOMICITY
SPECIFICATIONS
FOR
CONCURRENT
OBJECT-ORIENTED
SOFTWARE
USING
MODEL-CHECKING
.
175
J.
HATCLIFF,
ROBBY,
M.B.
DWYER
INVITED
TALK
STATIC
ANALYSIS
VERSUS
SOFTWARE
MODEL
CHECKING
FOR
BUG
FINDING
.
191
D.
ENGLER,
M.
MUSUVATHI
SOFTWARE
CHECKING
AUTOMATIC
INFERENCE
OF
CLASS
INVARIANTS
.
211
F.
LOGOZZO
LIVENESS
AND
COMPLETENESS
LIVENESS
WITH
INVISIBLE
RANKING
.
223
Y.
FANG,
N.
PITERMAN,
A.
PNUELI,
L.
ZUCK
A
COMPLETE
METHOD
FOR
THE
SYNTHESIS
OF
LINEAR
RANKING
FUNCTIONS
.
239
A.
PODELSKI,
A.
RYBALCHENKO
SYMBOLIC
IMPLEMENTATION
OF
THE
BEST
TRANSFORMER
.
252
T.
REPS,
M.
SAGIV,
G.
YORSH
FORMAL
METHODS
III
CONSTRUCTING
QUANTIFIED
INVARIANTS
VIA
PREDICATE
ABSTRACTION
.
267
S.K.
LAHIRI,
R.E.
BRYANT
TABLE
OF
CONTENTS
XI
ANALYSIS
OF
RECURSIVE
GAME
GRAPHS
USING
DATA
FLOW
EQUATIONS
.
282
K.
ETESSAMI
APPLYING
JLINT
TO
SPACE
EXPLORATION
SOFTWARE
.
297
C.
ARTHO,
K.
HAVELUND
WHY
AI
+
ILP
IS
GOOD
FOR
WCET,
BUT
MC
IS
NOT,
NOR
ILP
ALONE
.
309
R.
WILHELM
KEY
NOTE
A
GRAND
CHALLENGE
FOR
COMPUTING:
TOWARDS
FULL
REACTIVE
MODELING
OF
A
MULTI-CELLULAR
ANIMAL
.
323
D.
HAREL
AUTHOR
INDEX
.
325 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV017742663 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.V47 |
| callnumber-search | QA76.76.V47 |
| callnumber-sort | QA 276.76 V47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)54400193 (DE-599)BVBBV017742663 |
| dewey-full | 005.1/4 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/4 |
| dewey-search | 005.1/4 |
| dewey-sort | 15.1 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV017742663</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040707</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">031217s2004 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">969607261</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540208038</subfield><subfield code="9">3-540-20803-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)54400193</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017742663</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.V47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification, model checking, and abstract interpretation</subfield><subfield code="b">5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings</subfield><subfield code="c">Bernhard Steffen ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 324 S.</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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2937</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Vérification - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Model-checking (Informatique)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Méthode formelle</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Vérification de logiciels</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2004</subfield><subfield code="z">Venedig</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steffen, Bernhard</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">VMCAI</subfield><subfield code="n">5</subfield><subfield code="d">2004</subfield><subfield code="c">Venedig</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10070957-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2937</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2937</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010663471&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010663471</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2004 Venedig gnd-content |
| genre_facet | Konferenzschrift 2004 Venedig |
| id | DE-604.BV017742663 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:34Z |
| institution | BVB |
| institution_GND | (DE-588)10070957-6 |
| isbn | 3540208038 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010663471 |
| oclc_num | 54400193 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-11 DE-188 DE-706 |
| owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-11 DE-188 DE-706 |
| physical | XI, 324 S. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Verification, model checking, and abstract interpretation 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings Bernhard Steffen ... (eds.) Berlin [u.a.] Springer 2004 XI, 324 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2937 Logiciels - Vérification - Congrès Model-checking (Informatique) rasuqam Méthode formelle rasuqam Vérification de logiciels rasuqam Computer programs Verification Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2004 Venedig gnd-content Programmanalyse (DE-588)4175841-9 s DE-604 Programmverifikation (DE-588)4135576-3 s Model Checking (DE-588)4434799-6 s Abstrakte Interpretation (DE-588)4621153-6 s Formale Methode (DE-588)4333722-3 s Steffen, Bernhard Sonstige oth VMCAI 5 2004 Venedig Sonstige (DE-588)10070957-6 oth Lecture notes in computer science 2937 (DE-604)BV000000607 2937 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010663471&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Verification, model checking, and abstract interpretation 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings Lecture notes in computer science Logiciels - Vérification - Congrès Model-checking (Informatique) rasuqam Méthode formelle rasuqam Vérification de logiciels rasuqam Computer programs Verification Congresses Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)4135576-3 (DE-588)4621153-6 (DE-588)1071861417 |
| title | Verification, model checking, and abstract interpretation 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings |
| title_auth | Verification, model checking, and abstract interpretation 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings |
| title_exact_search | Verification, model checking, and abstract interpretation 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings |
| title_full | Verification, model checking, and abstract interpretation 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings Bernhard Steffen ... (eds.) |
| title_fullStr | Verification, model checking, and abstract interpretation 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings Bernhard Steffen ... (eds.) |
| title_full_unstemmed | Verification, model checking, and abstract interpretation 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings Bernhard Steffen ... (eds.) |
| title_short | Verification, model checking, and abstract interpretation |
| title_sort | verification model checking and abstract interpretation 5th international conference vmcai 2004 venice italy january 11 13 2004 proceedings |
| title_sub | 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings |
| topic | Logiciels - Vérification - Congrès Model-checking (Informatique) rasuqam Méthode formelle rasuqam Vérification de logiciels rasuqam Computer programs Verification Congresses Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd |
| topic_facet | Logiciels - Vérification - Congrès Model-checking (Informatique) Méthode formelle Vérification de logiciels Computer programs Verification Congresses Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift 2004 Venedig |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010663471&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT steffenbernhard verificationmodelcheckingandabstractinterpretation5thinternationalconferencevmcai2004veniceitalyjanuary11132004proceedings AT vmcaivenedig verificationmodelcheckingandabstractinterpretation5thinternationalconferencevmcai2004veniceitalyjanuary11132004proceedings |