„Program Verification“

Suchergebnisse

1.065 Treffer

• Formal Verification of a Distributed Computer System
  Merritt, M. ; Orda, A. ; Sachs, S.R
• A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor
  Bhadra, Jayanta ; Martin, Andrew K. ; Abraham, Jacob A.
• Cones and foci: A mechanical framework for protocol verification
  Fokkink, Wan ; Pang, Jun ; de Pol, Jaco van
• Automatic symbolic compositional verification by learning assumptions
  Nam, Wonhong ; Madhusudan, P. ; Alur, Rajeev
• Verification of SpecC using predicate abstraction
  Clarke, Edmund ; Jain, Himanshu ; Kroening, Daniel
• Some complexity results for stateful network verification
  Alpernas, Kalev ; Panda, Aurojit ; Rabinovich, Alexander ; Sagiv, Mooly ; Shenker, Scott ; Shoham, Sharon ; Velner, Yaron
• Memory-efficient algorithms for the verification of temporal properties
  Courcoubetis, C. ; Vardi, M. ; Wolper, P. ; Yannakakis, M.
• Automated assumption generation for compositional verification
  Gupta, Anubhav ; McMillan, K. L. ; Fu, Zhaohui
• Deductive software verification
  Filliâtre, Jean-Christophe
• Verification of the Multistream Protocol (MSP) using COSPAN
  Porta, Thomas F. La ; Schwartz, Mischa
• Introduction to the special section on runtime verification
  Sokolsky, Oleg ; Havelund, Klaus ; Lee, Insup
• Verification in process algebra of the distributed control of track vehicles—A case study
  Fischer, Siegfried ; Scholz, Andreas ; Taubner, Dirk
• Inductive verification of data model invariants in web applications using first-order logic
  Bocić, Ivan ; Bultan, Tevfik ; Rosner, Nicolás
• Hybrid approach of parallel implementation on CPU–GPU for high-speed ECDSA verification
  Lee, Sokjoon ; Seo, Hwajeong ; Kwon, Hyeokchan ; Yoon, Hyunsoo
• A case study – verifying a mutual exclusion protocol with process creation using graph transformation systems
  Dotti, Fernando Luís ; König, Barbara ; Santos, Osmar Marchi ˜dosœ ; Ribeiro, Leila 2005 Universitätsbibliothek der Universität Stuttgart
• IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011)
  Chakraborty, Supratik ; Kumar, Amit 2011 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Verification of Programs with Mutual Recursion in Pifagor Language
  Ushakova, M. S. ; Legalov, A. I.
• A survey on verification strategies for intelligent transportation systems
  Schmidtke, Hedda R.
• A novel design of fault-tolerant RAM cell in quantum-dot cellular automata with physical verification
  Moghimizadeh, Taban ; Mosleh, Mohammad
• Automatic verification for a class of distributed systems
  Manduchi, G. ; Moro, M.