Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings (Englisch)
- Neue Suche nach: VMCAI
- Weitere Informationen zu VMCAI:
- http://d-nb.info/gnd/16336833-8
- Neue Suche nach: Kuncak, Viktor
- Neue Suche nach: Rybalchenko, Andrey
- Weitere Informationen zu Rybalchenko, Andrey:
- http://d-nb.info/gnd/128741708
- Neue Suche nach: VMCAI
- Weitere Informationen zu VMCAI:
- http://d-nb.info/gnd/16336833-8
2012
-
ISBN:
- Konferenzband / Print
-
Titel:Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings
-
Beteiligte:
-
Kongress:International Conference Verification, Model Checking, and Abstract Interpretation ; 13 ; 2012 ; Philadelphia, Pa.
VMCAI ; 13 ; 2012 ; Philadelphia, PA -
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin , Heidelberg [u.a.]
-
Erscheinungsdatum:2012
-
Format / Umfang:XI, 460 S.
-
Anmerkungen:24 cm
Ill., graph. Darst.
Literaturangaben
Langzeitarchivierung durch Badische Landesbibliothek -
ISBN:
-
Medientyp:Konferenzband
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 68Q60 / 00B25 / *68-06
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 005.14
- Weitere Informationen zu Dewey Decimal Classification
- Neue Suche nach: 54.10
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
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
-
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite DataBouajjani, A. / Dragoi, C. / Enea, C. / Sighireanu, M. et al. | 2012
- 23
-
Software Verification with Liquid Types (Abstract)Jhala, R. et al. | 2012
- 24
-
Teaching Semantics with a Proof Assistant: No More LSD Trip ProofsNipkow, T. et al. | 2012
- 39
-
Whale: An Interpolation-Based Algorithm for Inter-procedural VerificationAlbarghouthi, A. / Gurfinkel, A. / Chechik, M. et al. | 2012
- 56
-
Synchronizability for Verification of Asynchronously Communicating SystemsBasu, S. / Bultan, T. / Ouederni, M. et al. | 2012
- 72
-
On the Termination of Integer LoopsBen-Amram, A.M. / Genaim, S. / Masud, A.N. et al. | 2012
- 88
-
Verification of Gap-Order Constraint Abstractions of Counter SystemsBozzelli, L. / Pinchinat, S. et al. | 2012
- 104
-
On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model CheckingBugaychenko, D. et al. | 2012
- 119
-
Regression Verification for Multi-threaded ProgramsChaki, S. / Gurfinkel, A. / Strichman, O. et al. | 2012
- 136
-
Crowfoot: A Verifier for Higher-Order Store ProgramsCharlton, N. / Horsfall, B. / Reus, B. et al. | 2012
- 152
-
Synthesizing Protocols for Digital Contract SigningChatterjee, K. / Raman, V. et al. | 2012
- 169
-
Model Checking Information Flow in Reactive SystemsDimitrova, R. / Finkbeiner, B. / Kovacs, M. / Rabe, M.N. / Seidl, H. et al. | 2012
- 186
-
Splitting via InterpolantsErmis, E. / Hoenicke, J. / Podelski, A. et al. | 2012
- 202
-
Automatic Inference of Access PermissionsFerrara, P. / Muller, P. et al. | 2012
- 219
-
Lazy SynthesisFinkbeiner, B. / Jacobs, S. et al. | 2012
- 235
-
Donut Domains: Efficient Non-convex Domains for Abstract InterpretationGhorbal, K. / Ivancic, F. / Balakrishnan, G. / Maeda, N. / Gupta, A. et al. | 2012
- 251
-
Inferring Canonical Register AutomataHowar, F. / Steffen, B. / Jonsson, B. / Cassel, S. et al. | 2012
- 267
-
Alternating Control Flow ReconstructionKinder, J. / Kravchenko, D. et al. | 2012
- 283
-
Effective Synthesis of Asynchronous Systems from GR(1) SpecificationsKlein, U. / Piterman, N. / Pnueli, A. et al. | 2012
- 299
-
Sound Non-statistical Clustering of Static Analysis AlarmsLee, W. / Yi, K. et al. | 2012
- 315
-
Automating Induction with an SMT SolverLeino, K.R.M. et al. | 2012
- 332
-
Modeling Asynchronous Message Passing for C ProgramsMorse, E. / Vrvilo, N. / Mercer, E. / McCarthy, J. et al. | 2012
- 348
-
Local Symmetry and Compositional VerificationNamjoshi, K.S. / Trefler, R.J. et al. | 2012
- 363
-
versat: A Verified Modern SAT SolverOe, D. / Stump, A. / Oliver, C. / Clancy, K. et al. | 2012
- 379
-
Decision Procedures for Region LogicRosenberg, S. / Banerjee, A. / Naumann, D.A. et al. | 2012
- 396
-
A General Framework for Probabilistic Characterizing FormulaeSack, J. / Zhang, L. et al. | 2012
- 412
-
Loop Invariant Symbolic Execution for Parallel ProgramsSiegel, S.F. / Zirkel, T.K. et al. | 2012
- 428
-
Synthesizing Efficient Controllersvon Essen, C. / Jobstmann, B. et al. | 2012
- 445
-
Ideal Abstractions for Well-Structured Transition SystemsZufferey, D. / Wies, T. / Henzinger, T.A. et al. | 2012