Loop Summarization and Termination Analysis (English)
- New search for: Tsitovich, A.
- New search for: Sharygina, N.
- New search for: Wintersteiger, C.M.
- New search for: Kroening, D.
- New search for: Tsitovich, A.
- New search for: Sharygina, N.
- New search for: Wintersteiger, C.M.
- New search for: Kroening, D.
- New search for: Abdulla, Parosh Aziz
- New search for: Leino, K. Rustan M.
In:
TACAS 2011; Tools and Algorithms for the Construction and Analysis of Systems: 17th international conference, TACAS 2011, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2011
6605
;
81-95
;
2011
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Loop Summarization and Termination Analysis
-
Contributors:Tsitovich, A. ( author ) / Sharygina, N. ( author ) / Wintersteiger, C.M. ( author ) / Kroening, D. ( author ) / Abdulla, Parosh Aziz / Leino, K. Rustan M.
-
Conference:TACAS 2011; Tools and Algorithms for the Construction and Analysis of Systems: 17th international conference, TACAS 2011, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2011 ; 2011 ; Saarbrucken, Germany
-
Published in:LECTURE NOTES IN COMPUTER SCIENCE , 6605 ; 81-95
-
Publisher:
- New search for: Springer
-
Place of publication:Heidelberg
-
Publication date:2011-01-01
-
Size:15 pages
-
Remarks:Includes bibliographical references and index
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
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
-
Reliable Software Development: Analysis-Aware Design (Invited Talk)Holzmann, G.J. et al. | 2011
- 3
-
Transition Invariants and Transition Predicate Abstraction for Program Termination (Invited Talk)Podelski, A. / Rybalchenko, A. et al. | 2011
- 11
-
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory ModelsBurnim, J. / Sen, K. / Stergiou, C. et al. | 2011
- 26
-
Compositionality Entails SequentializabilityGarg, P. / Madhusudan, P. et al. | 2011
- 41
-
Litmus: Running Tests against HardwareAlglave, J. / Maranget, L. / Sarkar, S. / Sewell, P. et al. | 2011
- 45
-
Canonized Rewriting and Ground AC Completion Modulo Shostak TheoriesConchon, S. / Contejean, E. / Iguernelala, M. et al. | 2011
- 60
-
Invariant Generation in VampireHoder, K. / Kovacs, L. / Voronkov, A. et al. | 2011
- 65
-
Enforcing Structural Invariants Using Dynamic FramesGarbervetsky, D. / Gorin, D. / Neisen, A. et al. | 2011
- 81
-
Loop Summarization and Termination AnalysisTsitovich, A. / Sharygina, N. / Wintersteiger, C.M. / Kroening, D. et al. | 2011
- 96
-
Off-Line Test Selection with Test Purposes for Non-deterministic Timed AutomataBertrand, N. / Jeron, T. / Stainer, A. / Krichen, M. et al. | 2011
- 112
-
Quantitative Multi-objective Verification for Probabilistic SystemsForejt, V. / Kwiatkowska, M. / Norman, G. / Parker, D. / Qu, H. et al. | 2011
- 128
-
Efficient CTMC Model Checking of Linear Real-Time ObjectivesBarbot, B. / Chen, T. / Han, T. / Katoen, J.-P. / Mereacre, A. et al. | 2011
- 143
-
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer ArithmeticGriggio, A. / Le, T.T.H. / Sebastiani, R. et al. | 2011
- 158
-
Generalized Craig Interpolation for Stochastic Boolean Satisfiability ProblemsTeige, T. / Franzle, M. et al. | 2011
- 173
-
Specification-Based Program Repair Using SATGopinath, D. / Malik, M.Z. / Khurshid, S. et al. | 2011
- 189
-
Optimal Base Encodings for Pseudo-Boolean ConstraintsCodish, M. / Fekete, Y. / Fuhs, C. / Schneider-Kamp, P. et al. | 2011
- 205
-
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant InferenceJung, Y. / Lee, W. / Wang, B.-Y. / Yi, K. et al. | 2011
- 220
-
Next Generation LearnLibMerten, M. / Steffen, B. / Howar, F. / Margaria, T. et al. | 2011
- 224
-
Applying CEGAR to the Petri Net State EquationWimmel, H. / Wolf, K. et al. | 2011
- 239
-
Biased Model Checking Using FlowsTalupur, M. / Han, H. et al. | 2011
- 254
-
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid SystemsAnnapureddy, Y. / Liu, C. / Fainekos, G. / Sankaranarayanan, S. et al. | 2011
- 258
-
GAVS+: An Open Platform for the Research of Algorithmic Game SolvingCheng, C.-H. / Knoll, A. / Luttenberger, M. / Buckl, C. et al. | 2011
- 262
-
Buchi Store: An Open Repository of Buchi AutomataTsay, Y.-K. / Tsai, M.-H. / Chang, J.-S. / Chang, Y.-W. et al. | 2011
- 267
-
QUASY: Quantitative Synthesis ToolChatterjee, K. / Henzinger, T.A. / Jobstmann, B. / Singh, R. et al. | 2011
- 272
-
Unbeast: Symbolic Bounded SynthesisEhlers, R. et al. | 2011
- 276
-
Abstractions and Pattern Databases: The Quest for Succinctness and AccuracyKupferschmid, S. / Wehrle, M. et al. | 2011
- 291
-
The ACL2 Sedan Theorem Proving SystemChamarthi, H.R. / Dillinger, P. / Manolios, P. / Vroon, D. et al. | 2011
- 296
-
On Probabilistic Parallel Programs with Process Creation and SynchronisationKiefer, S. / Wojtczak, D. et al. | 2011
- 311
-
Confluence Reduction for Probabilistic SystemsTimmer, M. / Stoelinga, M. / van de Pol, J. et al. | 2011
- 326
-
Model Repair for Probabilistic SystemsBartocci, E. / Grosu, R. / Katsaros, P. / Ramakrishnan, C.R. / Smolka, S.A. et al. | 2011
- 341
-
Boosting Lazy Abstraction for SystemC with Partial Order ReductionCimatti, A. / Narasamdya, I. / Roveri, M. et al. | 2011
- 357
-
Modelling and Verification of Web Services Business Activity ProtocolRavn, A.P. / Srba, J. / Vighio, S. et al. | 2011
- 372
-
CADP 2010: A Toolbox for the Construction and Analysis of Distributed ProcessesGaravel, H. / Lang, F. / Mateescu, R. / Serwe, W. et al. | 2011
- 388
-
GameTime: A Toolkit for Timing Analysis of SoftwareSeshia, S.A. / Kotker, J. et al. | 2011