Invariant Synthesis for Combined Theories (English)
- New search for: Beyer, Dirk
- New search for: Henzinger, Thomas A.
- New search for: Majumdar, Rupak
- New search for: Rybalchenko, Andrey
- New search for: Cook, Byron
- New search for: Podelski, Andreas
- New search for: Beyer, Dirk
- New search for: Henzinger, Thomas A.
- New search for: Majumdar, Rupak
- New search for: Rybalchenko, Andrey
In:
Verification, Model Checking, and Abstract Interpretation
: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
;
Chapter: 27
;
378-394
;
2007
- Article/Chapter (Book) / Electronic Resource
-
Title:Invariant Synthesis for Combined Theories
-
Contributors:Cook, Byron ( editor ) / Podelski, Andreas ( editor ) / Beyer, Dirk ( author ) / Henzinger, Thomas A. ( author ) / Majumdar, Rupak ( author ) / Rybalchenko, Andrey ( author )
-
Conference:International Workshop on Verification, Model Checking, and Abstract Interpretation ; 2007 ; Nice, France
-
Published in:Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings ; Chapter: 27 ; 378-394Lecture Notes in Computer Science ; 4349 ; 378-394
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2007-01-01
-
Size:17 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
DIVINE: DIscovering Variables IN ExecutablesBalakrishnan, Gogul / Reps, Thomas et al. | 2007
- 29
-
Verifying Compensating TransactionsEmmi, Michael / Majumdar, Rupak et al. | 2007
- 3
-
Model Checking Nonblocking MPI ProgramsSiegel, Stephen F. et al. | 2007
- 59
-
Model Checking Via ΓCFAMight, Matthew / Chambers, Benjamin / Shivers, Olin et al. | 2007
- 5
-
Using First-Order Theorem Provers in the Jahob Data Structure Verification SystemBouillaguet, Charles / Kuncak, Viktor / Wies, Thomas / Zee, Karen / Rinard, Martin et al. | 2007
- 89
-
Interpolants and Symbolic Model CheckingMcMillan, K. L. et al. | 2007
- 91
-
Shape Analysis of Single-Parent HeapsBalaban, Ittai / Pnueli, Amir / Zuck, Lenore D. et al. | 2007
- 8
-
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data StructuresRakamarić, Zvonimir / Bingham, Jesse / Hu, Alan J. et al. | 2007
- 122
-
On Flat Programs with ListsBozga, Marius / Iosif, Radu et al. | 2007
- 10
-
Automata-Theoretic Model Checking RevisitedVardi, Moshe Y. et al. | 2007
- 11
-
Language-Based Abstraction Refinement for Hybrid System VerificationKlaedtke, Felix / Ratschan, Stefan / She, Zhikun et al. | 2007
- 12
-
More Precise Partition AbstractionsFecher, Harald / Huth, Michael et al. | 2007
- 13
-
The Spotlight PrincipleWachter, Björn / Westphal, Bernd et al. | 2007
- 14
-
Lattice AutomataKupferman, Orna / Lustig, Yoad et al. | 2007
- 15
-
Learning Algorithms and Formal Verification (Invited Tutorial)Madhusudan, P. et al. | 2007
- 215
-
Constructing Specialized Shape Analyses for Uniform ChangeLev-Ami, Tal / Sagiv, Mooly / Immerman, Neil / Reps, Thomas et al. | 2007
- 234
-
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local ReasoningCherem, Sigmund / Rugina, Radu et al. | 2007
- 251
-
Automated Verification of Shape and Size Properties Via Separation LogicNguyen, Huu Hai / David, Cristina / Qin, Shengchao / Chin, Wei-Ngan et al. | 2007
- 19
-
Towards Shape Analysis for Device DriversYang, Hongseok et al. | 2007
- 20
-
An Abstract Domain Extending Difference-Bound Matrices with Disequality ConstraintsPéron, Mathias / Halbwachs, Nicolas et al. | 2007
- 21
-
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java ClassesLogozzo, Francesco et al. | 2007
- 299
-
Symmetry and Completeness in the Analysis of Parameterized SystemsNamjoshi, Kedar S. et al. | 2007
- 23
-
Better Under-Approximation of Programs by Hiding VariablesBall, Thomas / Kupferman, Orna et al. | 2007
- 329
-
The Constraint Database Approach to Software VerificationRevesz, Peter et al. | 2007
- 346
-
Constraint Solving for InterpolationRybalchenko, Andrey / Sofronie-Stokkermans, Viorica et al. | 2007
- 363
-
Assertion Checking UnifiedGulwani, Sumit / Tiwari, Ashish et al. | 2007
- 27
-
Invariant Synthesis for Combined TheoriesBeyer, Dirk / Henzinger, Thomas A. / Majumdar, Rupak / Rybalchenko, Andrey et al. | 2007