„Program Verification“

Suchergebnisse

1.065 Treffer

• Programming languages and systems – proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer
• Aliasing in object-oriented programming – types, analysis, and verification
  Clarke, Dave ; Wrigstad, Tobias ; Noble, James 2013 Springer
• Three-valued specification language and its application to the automatic verification of C programs
  Prokhorov, Alexej
• Tools and algorithms for the construction and analysis of systems – 19th international conference ; proceedings
  Piterman, Nir ; Smolka, Scott 2013 Springer
• 18th International Workshop on Types for Proofs and Programs (TYPES 2011)
  Danielsson, Nils Anders ; Nordström, Bengt 2013 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Verification, model checking, and abstract interpretation – 14th international conference ; proceedings
  Giacobazzi, Roberto ; Berdine, Josh ; Mastroeni, Isabella 2013 Springer
• Tools for practical software verification – LASER, international summer school 2011, Elba Island, Italy ; revised tutorial lectures
  Meyer, Bertrand ; Nordio, Martin 2012 Springer
• Runtime verification – third international conference ; revised selected papers
  Qadeer, Shaz ; Tasiran, Serdar 2013 Springer
• Certified programs and proofs – second international conference ; proceedings
  Hawblitzel, Chris ; Miller, Dale 2012 Springer
• Hardware and software: verification and testing – revised selected papers
  Eder, Kerstin ; Lourenҫo, João ; Shehory, Onn 2012 Springer
• Leveraging applications of formal methods, verification and validation
  2012 Springer
• Leveraging applications of formal methods, verification and validation
  2012 Springer
• Software engineering and formal methods – 10th international conference ; proceedings
  Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike 2012 Springer
• Design of a Formal Estelle Semantics for Verification
  Bredereke, Jan ; Gotzhein, Reinhard ; Vogt, F. H. 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• Theoretical Aspects of Computing – ICTAC 2012 – 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
  Roychoudhury, Abhik ; D'Souza, Meenakshi 2012 Springer Berlin Heidelberg
• Systematic logic controller design as sequential function chart starting from informal requirements
  Lohmann, Sven 2012 Shaker
• Parameterized verification
  Abdulla, Parosh A. ; Delzanno, Giorgio
• Theoretical aspects of computing – 9th international colloquium ; proceedings
  Roychoudhury, Abhik ; D'Souza, Meenakshi 2012 Springer
• 6th International Workshop on Systems Software Verification (SSV 2011)
  Brauer, Jörg ; Roveri, Marco ; Tews, Hendrik 2012 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Formal verification of object-oriented software – international conference ; revised selected papers
  Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian 2012 Springer