„Program Verification“

Suchergebnisse

1.065 Treffer

• From programs to systems – the systems perspective in computing ; proceedings
  Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 Springer
• A problem-oriented approach for dynamic verification of heterogeneous embedded systems
  Mendoza Cervantes, Francisco 2014 KIT Scientific Publ.
• Certified Programs and Proofs – Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
  2013 Springer International Publishing
• Runtime verification – 4th international conference ; proceedings
  Legay, Axel ; Bensalem, Saddek 2013 Springer
• Software engineering and formal methods – 11th international conference ; proceedings
  Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2013 Springer
• Formal methods for industrial critical systems – 18th international workshop ; proceedings
  Pecheur, Charles ; Dierkes, Michael 2013 Springer
• Theories of programming and formal methods – essays dedicated to Jifeng He on the occasion of His 70th birthday
  Liu, Zhiming ; He, Jifeng ; Woodcock, Jim ; Zhu, Huibiao 2013 Springer
• Theories of Programming and Formal Methods – Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
  Liu, Zhiming ; He, Jifeng ; Woodcock, Jim ; Zhu, Huibiao 2013 Springer Berlin Heidelberg
• Web reasoning and rule systems – 7th international conference ; proceedings
  Faber, Wolfgang ; Lembo, Domenico 2013 Springer
• Hardware and software: verification and testing – revised selected papers
  Biere, Armin ; Nahir, Amir ; Vos, Tanja 2013 Springer
• Leveraging applications of formal methods, verification and validation – 5th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard ; Merten, Maik Springer
• Logic for programming, artificial intelligence, and reasoning – 18th international conference ; proceedings
  Bjørner, Nikolaj ; Voronkov, Andrei 2012 Springer
• Practical aspects of declarative languages – 14th international symposium ; proceedings
  Russo, Claudio ; Zhou, Neng-Fa 2012 Springer
• A generic specification for verifying peephole optimizations
  Dold, Axel ; Henke, Friedrich Wilhelm ˜vonœ ; Pfeifer, Holger ; Rueß, Harald 2010 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Computational Logic and Set Theory – Applying Formalized Logic to Analysis
  2011 Springer London
• Software Verification and Analysis – An Integrated, Hands-On Approach
  Laski, Janusz ; Stanley, William 2009 Springer London
• Foundations of software science and computational structures – 8th international conference ; proceedings
  Sassone, Vladimiro 2005 Springer
• Algebraic Methodology and Software Technology – 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
  2011 Springer Berlin Heidelberg
• Algebraic methodology and software technology – 13th international conference ; revised selected papers
  Johnson, Michael ; Pavlovic, Dusko 2011 Springer
• Leveraging applications of formal methods, verification, and validation – proceedings
  Margaria, Tiziana ; Steffen, Bernhard Springer