Eintrag weiter verarbeiten
Online-Ressource

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Gespeichert in:

Personen und Körperschaften: Barthe, Gilles (VerfasserIn), Hermenegildo, Manuel (Sonstige)
Titel: Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings/ edited by Gilles Barthe, Manuel Hermenegildo
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 5944
Schlagwörter:
Computer software
Logic design
Computer Science
Computer science
Software engineering
Computer programming.
Compilers (Computer programs).
Algorithms.
Konferenzschrift
Buchausg. u.d.T.: Verification, model checking, and abstract interpretation, Berlin : Springer, 2010, X, 395 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 06739cam a22011052 4500
001 0-1648816592
003 DE-627
005 20240122105328.0
007 cr uuu---uuuuu
008 100211s2010 gw |||||o 00| ||eng c
020 |a 9783642113192  |9 978-3-642-11319-2 
024 7 |a 10.1007/978-3-642-11319-2  |2 doi 
035 |a (DE-627)1648816592 
035 |a (DE-576)318560933 
035 |a (DE-599)BSZ318560933 
035 |a (OCoLC)699596651 
035 |a (OCoLC)845694455 
035 |a (ZBM)1178.68003 
035 |a (DE-He213)978-3-642-11319-2 
035 |a (EBP)040513173 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE 
050 0 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
084 |a SS 4800  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68Q60  |2 msc 
084 |a 00B25  |2 msc 
084 |a 54.10  |2 bkl 
100 1 |a Barthe, Gilles  |4 aut 
245 1 0 |a Verification, Model Checking, and Abstract Interpretation  |b 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings  |c edited by Gilles Barthe, Manuel Hermenegildo 
264 1 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2010 
300 |a Online-Ressource (X, 397p. 105 illus, digital) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 5944 
490 0 |a SpringerLink  |a Bücher 
520 |a Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract Interpretation-Based Protection -- Advances in Probabilistic Model Checking -- Building a Calculus of Data Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking of Hierarchical Systems -- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming -- Complexity Bounds for the Verification of Real-Time Software -- An Abstract Domain to Discover Interval Linear Equalities -- Interpolant Strength -- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing -- Invariant and Type Inference for Matrices -- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction -- Automatic Abstraction for Congruences -- Shape Analysis of Low-Level C with Overlapping Structures -- Abstract Threads -- Shape Analysis with Reference Set Relations -- Shape Analysis in the Absence of Pointers and Structure -- An Analysis of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors -- Considerate Reasoning and the Composite Design Pattern -- RGSep Action Inference -- Best Probabilistic Transformers -- Collections, Cardinalities, and Relations. 
520 |a This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization. 
650 0 |a Computer software 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Computer programming. 
650 0 |a Compilers (Computer programs). 
650 0 |a Algorithms. 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4175841-9  |0 (DE-627)105361038  |0 (DE-576)209966513  |a Programmanalyse  |2 gnd 
689 0 |5 DE-101 
689 1 0 |D s  |0 (DE-588)4135576-3  |0 (DE-627)10566409X  |0 (DE-576)209661925  |a Programmverifikation  |2 gnd 
689 1 |5 DE-101 
689 2 0 |D s  |0 (DE-588)4434799-6  |0 (DE-627)222527455  |0 (DE-576)212412167  |a Model Checking  |2 gnd 
689 2 |5 DE-101 
689 3 0 |D s  |0 (DE-588)4621153-6  |0 (DE-627)32644534X  |0 (DE-576)214355578  |a Abstrakte Interpretation  |2 gnd 
689 3 |5 DE-101 
689 4 0 |D s  |0 (DE-588)4333722-3  |0 (DE-627)148061516  |0 (DE-576)21134253X  |a Formale Methode  |2 gnd 
689 4 |5 DE-101 
700 1 |a Hermenegildo, Manuel  |4 oth 
776 1 |z 9783642113185 
776 0 8 |i Buchausg. u.d.T.  |t Verification, model checking, and abstract interpretation  |d Berlin : Springer, 2010  |h X, 395 S.  |w (DE-627)615169341  |w (DE-576)316609471  |z 3642113184  |z 9783642113185 
830 0 |a Lecture notes in computer science  |v 5944  |9 5944  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-11319-2  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz318560933cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150402155947  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:1178.68003  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC  |b 2010 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SCS  |b 2010 
912 |a ZDB-2-SXCS  |b 2010 
912 |a ZDB-2-SEB  |b 2010 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.10  |j Theoretische Informatik  |q SEPA  |0 (DE-627)106418815 
951 |a BO 
950 |a Algorithmenanalyse 
950 |a Programmverstehen 
950 |a Verifikation 
950 |a Hoare-Logik 
950 |a Formales Verfahren 
950 |a Methode 
950 |a Modellprüfung 
950 |a Abstract interpretation 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-11319-2  |9 DE-14 
852 |a DE-14  |z 2011-07-20T14:57:58Z  |x epn:3330973463 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-11319-2  |9 DE-15 
852 |a DE-15  |z 2011-05-16T16:32:28Z  |x epn:3330973528 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-11319-2  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |z 2011-01-26T14:22:04Z  |x epn:3330973633 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-11319-2  |9 DE-520 
852 |a DE-520  |z 2012-11-21T15:40:49Z  |x epn:3330973692 
980 |a 1648816592  |b 0  |k 1648816592  |o 318560933 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Verification%2C+Model+Checking%2C+and+Abstract+Interpretation%3A+11th+International+Conference%2C+VMCAI+2010%2C+Madrid%2C+Spain%2C+January+17-19%2C+2010.+Proceedings&rft.date=2010&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Verification%2C+Model+Checking%2C+and+Abstract+Interpretation%3A+11th+International+Conference%2C+VMCAI+2010%2C+Madrid%2C+Spain%2C+January+17-19%2C+2010.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+5944&rft.au=Barthe%2C+Gilles&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=3642113192
SOLR
_version_ 1789365433735839744
access_facet Electronic Resources
author Barthe, Gilles
author2 Hermenegildo, Manuel
author2_role oth
author2_variant m h mh
author_facet Barthe, Gilles, Hermenegildo, Manuel
author_role aut
author_sort Barthe, Gilles
author_variant g b gb
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.758
callnumber-search QA76.758
callnumber-sort QA 276.758
callnumber-subject QA - Mathematics
collection ZDB-2-SCS, ZDB-2-LNC, ZDB-2-SEB, ZDB-2-SXCS
contents Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract Interpretation-Based Protection -- Advances in Probabilistic Model Checking -- Building a Calculus of Data Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking of Hierarchical Systems -- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming -- Complexity Bounds for the Verification of Real-Time Software -- An Abstract Domain to Discover Interval Linear Equalities -- Interpolant Strength -- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing -- Invariant and Type Inference for Matrices -- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction -- Automatic Abstraction for Congruences -- Shape Analysis of Low-Level C with Overlapping Structures -- Abstract Threads -- Shape Analysis with Reference Set Relations -- Shape Analysis in the Absence of Pointers and Structure -- An Analysis of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors -- Considerate Reasoning and the Composite Design Pattern -- RGSep Action Inference -- Best Probabilistic Transformers -- Collections, Cardinalities, and Relations., This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.
ctrlnum (DE-627)1648816592, (DE-576)318560933, (DE-599)BSZ318560933, (OCoLC)699596651, (OCoLC)845694455, (ZBM)1178.68003, (DE-He213)978-3-642-11319-2, (EBP)040513173
de15_date 2011-05-16T16:32:28Z
doi_str_mv 10.1007/978-3-642-11319-2
facet_912a ZDB-2-SCS, ZDB-2-LNC, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Programmanalyse, Programmverifikation, Model Checking, Abstrakte Interpretation, Formale Methode
finc_class_facet Informatik, Mathematik
finc_id_str 0000830569
fincclass_txtF_mv science-computerscience
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent-conference
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 5944
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1648816592
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer Berlin Heidelberg, 2010
imprint_str_mv Berlin, Heidelberg: Springer Berlin Heidelberg, 2010
institution DE-14, DE-Zi4, DE-520, DE-15
is_hierarchy_id 0-1648816592
is_hierarchy_title Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
isbn 9783642113192
isbn_isn_mv 9783642113185, 3642113184
issn_isn_mv 1611-3349
kxp_id_str 1648816592
language English
last_indexed 2024-01-28T19:57:36.514Z
local_heading_facet_dezwi2 Computer software, Logic design, Computer Science, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Algorithms., Programmanalyse, Programmverifikation, Model Checking, Abstrakte Interpretation, Formale Methode
marc024a_ct_mv 10.1007/978-3-642-11319-2
match_str barthe2010verificationmodelcheckingandabstractinterpretation11thinternationalconferencevmcai2010madridspainjanuary17192010proceedings
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)5944
oclc_num 699596651, 845694455
physical Online-Ressource (X, 397p. 105 illus, digital)
publishDate 2010
publishDateSort 2010
publishPlace Berlin, Heidelberg
publisher Springer Berlin Heidelberg
record_format marcfinc
record_id 318560933
recordtype marcfinc
rsn_id_str_mv (DE-15)2459752
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 5944
series2 Lecture Notes in Computer Science ; 5944, SpringerLink ; Bücher
source_id 0
spelling Barthe, Gilles aut, Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings edited by Gilles Barthe, Manuel Hermenegildo, Berlin, Heidelberg Springer Berlin Heidelberg 2010, Online-Ressource (X, 397p. 105 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 5944, SpringerLink Bücher, Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract Interpretation-Based Protection -- Advances in Probabilistic Model Checking -- Building a Calculus of Data Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking of Hierarchical Systems -- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming -- Complexity Bounds for the Verification of Real-Time Software -- An Abstract Domain to Discover Interval Linear Equalities -- Interpolant Strength -- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing -- Invariant and Type Inference for Matrices -- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction -- Automatic Abstraction for Congruences -- Shape Analysis of Low-Level C with Overlapping Structures -- Abstract Threads -- Shape Analysis with Reference Set Relations -- Shape Analysis in the Absence of Pointers and Structure -- An Analysis of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors -- Considerate Reasoning and the Composite Design Pattern -- RGSep Action Inference -- Best Probabilistic Transformers -- Collections, Cardinalities, and Relations., This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization., Computer software, Logic design, Computer Science, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Algorithms., Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4175841-9 (DE-627)105361038 (DE-576)209966513 Programmanalyse gnd, DE-101, s (DE-588)4135576-3 (DE-627)10566409X (DE-576)209661925 Programmverifikation gnd, s (DE-588)4434799-6 (DE-627)222527455 (DE-576)212412167 Model Checking gnd, s (DE-588)4621153-6 (DE-627)32644534X (DE-576)214355578 Abstrakte Interpretation gnd, s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd, Hermenegildo, Manuel oth, 9783642113185, Buchausg. u.d.T. Verification, model checking, and abstract interpretation Berlin : Springer, 2010 X, 395 S. (DE-627)615169341 (DE-576)316609471 3642113184 9783642113185, Lecture notes in computer science 5944 5944 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-11319-2 X:SPRINGER Verlag lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz318560933cov.jpg V:DE-576 X:springer image/jpeg 20150402155947 Cover, https://zbmath.org/?q=an:1178.68003 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, http://dx.doi.org/10.1007/978-3-642-11319-2 DE-14, DE-14 2011-07-20T14:57:58Z epn:3330973463, http://dx.doi.org/10.1007/978-3-642-11319-2 DE-15, DE-15 2011-05-16T16:32:28Z epn:3330973528, http://dx.doi.org/10.1007/978-3-642-11319-2 Zum Online-Dokument DE-Zi4, DE-Zi4 2011-01-26T14:22:04Z epn:3330973633, http://dx.doi.org/10.1007/978-3-642-11319-2 DE-520, DE-520 2012-11-21T15:40:49Z epn:3330973692
spellingShingle Barthe, Gilles, Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings, Lecture notes in computer science, 5944, Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract Interpretation-Based Protection -- Advances in Probabilistic Model Checking -- Building a Calculus of Data Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking of Hierarchical Systems -- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming -- Complexity Bounds for the Verification of Real-Time Software -- An Abstract Domain to Discover Interval Linear Equalities -- Interpolant Strength -- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing -- Invariant and Type Inference for Matrices -- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction -- Automatic Abstraction for Congruences -- Shape Analysis of Low-Level C with Overlapping Structures -- Abstract Threads -- Shape Analysis with Reference Set Relations -- Shape Analysis in the Absence of Pointers and Structure -- An Analysis of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors -- Considerate Reasoning and the Composite Design Pattern -- RGSep Action Inference -- Best Probabilistic Transformers -- Collections, Cardinalities, and Relations., This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization., Computer software, Logic design, Computer Science, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Algorithms., Konferenzschrift, Programmanalyse, Programmverifikation, Model Checking, Abstrakte Interpretation, Formale Methode
swb_id_str 318560933
title Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
title_auth Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
title_full Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings edited by Gilles Barthe, Manuel Hermenegildo
title_fullStr Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings edited by Gilles Barthe, Manuel Hermenegildo
title_full_unstemmed Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings edited by Gilles Barthe, Manuel Hermenegildo
title_in_hierarchy 5944. Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings (2010)
title_short Verification, Model Checking, and Abstract Interpretation
title_sort verification model checking and abstract interpretation 11th international conference vmcai 2010 madrid spain january 17 19 2010 proceedings
title_sub 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
title_unstemmed Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
topic Computer software, Logic design, Computer Science, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Algorithms., Konferenzschrift, Programmanalyse, Programmverifikation, Model Checking, Abstrakte Interpretation, Formale Methode
topic_facet Computer software, Logic design, Computer Science, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Algorithms., Konferenzschrift, Programmanalyse, Programmverifikation, Model Checking, Abstrakte Interpretation, Formale Methode
url https://doi.org/10.1007/978-3-642-11319-2, https://swbplus.bsz-bw.de/bsz318560933cov.jpg, https://zbmath.org/?q=an:1178.68003, http://dx.doi.org/10.1007/978-3-642-11319-2