Verification, model checking, and abstract interpretation: 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2006
|
| Schriftenreihe: | Lecture notes in computer science
3855 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XI, 442 S. graph. Darst. |
| ISBN: | 9783540311393 3540311394 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021486182 | ||
| 003 | DE-604 | ||
| 005 | 20060316 | ||
| 007 | t| | ||
| 008 | 060223s2006 gw d||| |||| 10||| eng d | ||
| 015 | |a 06,A06,0052 |2 dnb | ||
| 016 | 7 | |a 977739244 |2 DE-101 | |
| 020 | |a 9783540311393 |c kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.) |9 978-3-540-31139-3 | ||
| 020 | |a 3540311394 |c kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.) |9 3-540-31139-4 | ||
| 024 | 3 | |a 9783540311393 | |
| 028 | 5 | 2 | |a 11609773 |
| 035 | |a (OCoLC)63176709 | ||
| 035 | |a (DE-599)BVBBV021486182 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-739 |a DE-91G |a DE-706 |a DE-19 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.76.V47 | |
| 082 | 0 | |a 005.14 |2 22 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Verification, model checking, and abstract interpretation |b 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings |c E. Allen Emerson ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2006 | |
| 300 | |a XI, 442 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 3855 | |
| 650 | 4 | |a Logiciels - Vérification - Congrès | |
| 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 2006 |z Charleston SC |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 Emerson, E. Allen |e Sonstige |4 oth | |
| 711 | 2 | |a VMCAI |n 7 |d 2006 |c Charleston, SC |j Sonstige |0 (DE-588)10123868-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 3855 |w (DE-604)BV000000607 |9 3855 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=2749056&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014703077&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-014703077 | |
Datensatz im Suchindex
| _version_ | 1820874980818157568 |
|---|---|
| adam_text |
Table of Contents
Closure Operators for ROBDDs
Peter
A CLP Method for Compositional and Intermittent Predicate
Abstraction
Joxan Jaffar, Andrew E.
Combining Shape Analyses by Intersecting Abstractions
Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham
A Complete Abstract Interpretation Framework for Coverability
Properties of WSTS
Pierre Ganty,
Complexity Results on Branching-Time Pushdown Model Checking
Laura
A Compositional Logic for Control Plow
Gang Tan, Andrew W.
Detecting Non-cyclicity by Abstract Compilation into Boolean Functions
Stefano Rossignoli, Fausto Spoto.
Efficient Strongly Relational Polyhedral Analysis
Sriram Sankaranarayanan, Michael A. Colon, Henny B. Sipma,
Zohar Manna
Environment Abstraction for Parameterized Verification
Edmund Clarke, Muralidhar Talupur, Helmut Veith
Error Control for Probabilistic Model Checking
Hakan L.S.
Field Constraint Analysis
Thomas
Martin Rinard
A Framework for Certified Program Analysis and Its Applications to
Mobile-Code Safety
Bor-
Improved Algorithm Complexities for Linear Temporal Logic Model
Checking of Pushdown Systems
Katia Hristova, Yanhong A, Liu
A Logic and Decision Procedure for Predicate Abstraction of
Heap-Manipulating Programs
Jesse Bingham, Zvonimir
Monitoring Off-the-Shelf Components
A. Prasad Sistia,
Parallel External Directed Model Checking with Linear I/O
Shahid Jabbar, Stefan Edelkarnp
Piecewise FIFO Channels Are Analyzable
Naghmeh Ghafari, Richard Trefler
Ranking Abstraction of Recursive Programs
Ittai
Relative Safety
Joxan Jaffar, Andrew E.
Resource Usage Analysis for the Tr-Calculus
Naoki Kobayashi, Kohei Suenaga,
Semantic Hierarchy
Francesco Logozzo,
Strong Preservation of Temporal Fixpoint-Based Operators by Abstract
Interpretation
Francesco Ranzato, Francesco Tapparo
Symbolic Methods to Enhance the Precision of Numerical Abstract
Domains
Antoine Miné
Synthesis of Reactive(l) Designs
Mr Piterman, Amir Pnueli, Yaniv Sa'ar
Systematic Construction of Abstractions for Model-Checking
Arie
Totally Clairvoyant Scheduling with Relative Timing Constraints
K. Subramani
Table of Contents XI
Verification of Well-Formed Communicating Recursive State Machines
Laura
What's Decidable About Arrays?
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
Author Index |
| adam_txt |
Table of Contents
Closure Operators for ROBDDs
Peter
A CLP Method for Compositional and Intermittent Predicate
Abstraction
Joxan Jaffar, Andrew E.
Combining Shape Analyses by Intersecting Abstractions
Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham
A Complete Abstract Interpretation Framework for Coverability
Properties of WSTS
Pierre Ganty,
Complexity Results on Branching-Time Pushdown Model Checking
Laura
A Compositional Logic for Control Plow
Gang Tan, Andrew W.
Detecting Non-cyclicity by Abstract Compilation into Boolean Functions
Stefano Rossignoli, Fausto Spoto.
Efficient Strongly Relational Polyhedral Analysis
Sriram Sankaranarayanan, Michael A. Colon, Henny B. Sipma,
Zohar Manna
Environment Abstraction for Parameterized Verification
Edmund Clarke, Muralidhar Talupur, Helmut Veith
Error Control for Probabilistic Model Checking
Hakan L.S.
Field Constraint Analysis
Thomas
Martin Rinard
A Framework for Certified Program Analysis and Its Applications to
Mobile-Code Safety
Bor-
Improved Algorithm Complexities for Linear Temporal Logic Model
Checking of Pushdown Systems
Katia Hristova, Yanhong A, Liu
A Logic and Decision Procedure for Predicate Abstraction of
Heap-Manipulating Programs
Jesse Bingham, Zvonimir
Monitoring Off-the-Shelf Components
A. Prasad Sistia,
Parallel External Directed Model Checking with Linear I/O
Shahid Jabbar, Stefan Edelkarnp
Piecewise FIFO Channels Are Analyzable
Naghmeh Ghafari, Richard Trefler
Ranking Abstraction of Recursive Programs
Ittai
Relative Safety
Joxan Jaffar, Andrew E.
Resource Usage Analysis for the Tr-Calculus
Naoki Kobayashi, Kohei Suenaga,
Semantic Hierarchy
Francesco Logozzo,
Strong Preservation of Temporal Fixpoint-Based Operators by Abstract
Interpretation
Francesco Ranzato, Francesco Tapparo
Symbolic Methods to Enhance the Precision of Numerical Abstract
Domains
Antoine Miné
Synthesis of Reactive(l) Designs
Mr Piterman, Amir Pnueli, Yaniv Sa'ar
Systematic Construction of Abstractions for Model-Checking
Arie
Totally Clairvoyant Scheduling with Relative Timing Constraints
K. Subramani
Table of Contents XI
Verification of Well-Formed Communicating Recursive State Machines
Laura
What's Decidable About Arrays?
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
Author Index |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV021486182 |
| 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)63176709 (DE-599)BVBBV021486182 |
| dewey-full | 005.14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.14 |
| dewey-search | 005.14 |
| dewey-sort | 15.14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | 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">BV021486182</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060316</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">060223s2006 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,A06,0052</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">977739244</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540311393</subfield><subfield code="c">kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.)</subfield><subfield code="9">978-3-540-31139-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540311394</subfield><subfield code="c">kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.)</subfield><subfield code="9">3-540-31139-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540311393</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11609773</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)63176709</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021486182</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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.14</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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">7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings</subfield><subfield code="c">E. Allen Emerson ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 442 S.</subfield><subfield code="b">graph. Darst.</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">3855</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Vérification - Congrès</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">2006</subfield><subfield code="z">Charleston SC</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">Emerson, E. Allen</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">7</subfield><subfield code="d">2006</subfield><subfield code="c">Charleston, SC</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10123868-X</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">3855</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3855</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2749056&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</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=014703077&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-014703077</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2006 Charleston SC gnd-content |
| genre_facet | Konferenzschrift 2006 Charleston SC |
| id | DE-604.BV021486182 |
| illustrated | Illustrated |
| index_date | 2024-07-02T14:11:18Z |
| indexdate | 2025-01-10T15:08:22Z |
| institution | BVB |
| institution_GND | (DE-588)10123868-X |
| isbn | 9783540311393 3540311394 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014703077 |
| oclc_num | 63176709 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-706 DE-19 DE-BY-UBM DE-83 DE-11 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-706 DE-19 DE-BY-UBM DE-83 DE-11 |
| physical | XI, 442 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings E. Allen Emerson ... (eds.) Berlin [u.a.] Springer 2006 XI, 442 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 3855 Logiciels - Vérification - Congrès 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 2006 Charleston SC 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 Emerson, E. Allen Sonstige oth VMCAI 7 2006 Charleston, SC Sonstige (DE-588)10123868-X oth Lecture notes in computer science 3855 (DE-604)BV000000607 3855 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2749056&prov=M&dok_var=1&dok_ext=htm Inhaltstext Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014703077&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings Lecture notes in computer science Logiciels - Vérification - Congrès 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 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings |
| title_auth | Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings |
| title_exact_search | Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings |
| title_exact_search_txtP | Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings |
| title_full | Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings E. Allen Emerson ... (eds.) |
| title_fullStr | Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings E. Allen Emerson ... (eds.) |
| title_full_unstemmed | Verification, model checking, and abstract interpretation 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings E. Allen Emerson ... (eds.) |
| title_short | Verification, model checking, and abstract interpretation |
| title_sort | verification model checking and abstract interpretation 7th international conference vmcai 2006 charleston sc usa january 8 10 2006 proceedings |
| title_sub | 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings |
| topic | Logiciels - Vérification - Congrès 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 Computer programs Verification Congresses Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift 2006 Charleston SC |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=2749056&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014703077&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT emersoneallen verificationmodelcheckingandabstractinterpretation7thinternationalconferencevmcai2006charlestonscusajanuary8102006proceedings AT vmcaicharlestonsc verificationmodelcheckingandabstractinterpretation7thinternationalconferencevmcai2006charlestonscusajanuary8102006proceedings |