„Program Verification“

Suchergebnisse

1.065 Treffer

• 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)
  Holsti, Niklas 2009 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)
  Kirner, Raimund 2008 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)
  Rochange, Christine 2007 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)
  Mueller, Frank 2006 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)
  Wilhelm, Reinhard 2007 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Integer programming and combinatorial optimization – 15th international conference ; proceedings
  Günlük, Oktay ; Woeginger, Gerhard J. 2011 Springer
• Model checking and artificial intelligence – 6th international workshop ; revised selected and invited papers
  Van der Meyden, Ron ; Smaus, Jan 2011 Springer
• Formal verification of mobile robot protocols
  Bérard, Béatrice ; Lafourcade, Pascal ; Millet, Laure ; Potop-Butucaru, Maria ; Thierry-Mieg, Yann ; Tixeuil, Sébastien
• Semantic analysis and verification of context-driven adaptive applications in intelligent environments
  Preuveneers, Davy ; Joosen, Wouter
• Formal methods: foundations and applications – revised selected papers
  Davies, Jim ; Silva, Leila ; Simao, Adenilso 2011 Springer
• Foundations of software science and computational structures – 14th international conference ; proceedings
  Hofmann, Martin 2011 Springer
• Fundamental approaches to software engineering – 14th international conference ; proceedings
  Giannakopoulou, Dimitra ; Orejas, Fernando 2011 Springer
• Theory and practice of algorithms in (computer) systems – first international ICST conference ; proceedings
  Marchetti-Spaccamela, Alberto ; Segal, Michael 2011 Springer
• Programming languages and systems – proceedings
  Barthe, Gilles 2011 Springer
• Hardware and software – verification and testing ; revised selected papers
  Barner, Sharon ; Harris, Ian ; Kroening, Daniel ; Raz, Orna 2011 Springer
• AutoProof: auto-active functional verification of object-oriented programs
  Furia, Carlo A. ; Nordio, Martin ; Polikarpova, Nadia ; Tschannen, Julian
• Hardware and software – verification and testing ; revised selected papers
  Namjoshi, Kedar S. ; Zeller, Andreas ; Ziv, Avi 2011 Springer
• Engineering secure software and systems – third international symposium ; proceedings
  Erlingsson, Úlfar ; Wieringa, Roel ; Zannone, Nicola 2011 Springer
• Verification and specification of concurrent programs
  Hooman, Jozef J. M. ; Roever, Willem-Paul ˜deœ 1991 Inst. für Informatik und Praktische Mathematik
• Rigorous Software Development – An Introduction to Program Verification
  Almeida, José Bacelar ; Pinto, Jorge S. ; Melo de Sousa, Simão ; Frade, Maria J. 2011 Springer London