Modelling and Verification of Web Services Business Activity Protocol (Englisch)
- Neue Suche nach: Ravn, A.P.
- Neue Suche nach: Srba, J.
- Neue Suche nach: Vighio, S.
- Neue Suche nach: Ravn, A.P.
- Neue Suche nach: Srba, J.
- Neue Suche nach: Vighio, S.
- Neue Suche nach: Abdulla, Parosh Aziz
- Neue Suche nach: 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
;
357-371
;
2011
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Modelling and Verification of Web Services Business Activity Protocol
-
Beteiligte:Ravn, A.P. ( Autor:in ) / Srba, J. ( Autor:in ) / Vighio, S. ( Autor:in ) / Abdulla, Parosh Aziz / Leino, K. Rustan M.
-
Kongress: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
-
Erschienen in:LECTURE NOTES IN COMPUTER SCIENCE , 6605 ; 357-371
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2011
-
Format / Umfang:15 pages
-
Anmerkungen:Includes bibliographical references and index
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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