„Programmverifikation“

Suchergebnisse

470 Treffer

• Verification, model checking, and abstract interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 ; proceedings
  Jobstmann, Barbara ; Leino, K. Rustan M. 2016 Springer
• Programming languages and systems – 7th Asian symposium ; proceedings
  Hu, Zhenjiang 2009 Springer
• Verification, model checking, and abstract interpretation – 11th international conference ; proceedings
  Barthe, Gilles 2010 Springer
• Verification, model checking, and abstract interpretation – 8th international conference ; proceedings
  Cook, Byron 2007 Springer
• Model checking software – proceedings
  Ball, Thomas 2003 Springer
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian 2016 Shaker Verlag
• Tools and algorithms for the construction and analysis of systems – 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
  Legay, Axel ; Margaria, Tiziana 2017 Springer
• Programming languages and systems – proceedings
  Vitek, Jan 2015 Springer
• Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard Springer
• 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
• Hardware and software: verification and testing – revised selected papers
  Biere, Armin ; Nahir, Amir ; Vos, Tanja 2013 Springer
• Programming languages and systems – second Asian symposium ; proceedings
  Chin, Wei-Ngan 2004 Springer
• Leveraging applications of formal methods, verification and validation – 5th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard ; Merten, Maik Springer
• Formal methods and software engineering – proceedings
  Qin, Shengchao ; Qiu, Zongyan 2011 Springer
• Leveraging applications of formal methods, verification, and validation – proceedings
  Margaria, Tiziana ; Steffen, Bernhard Springer
• Model checking software – proceedings
  Pol, Jaco ˜van deœ 2010 Springer
• Logic based program synthesis and transformation – 9th international workshop ; selected papers
  Bossi, Annalisa 2000 Springer
• Synchronous stream runtime verification with uncertainties and assumptions
  Kallwies, Hannes ; Leucker, Martin 2024 Zentrale Hochschulbibliothek Lübeck
• A Systematic Verification Approach for Mondex Electronic Purses using ASMs
  Schellhorn, Gerhard ; Grandy, Holger ; Haneberg, Dominik ; Moebius, Nina ; Reif, Wolfgang 2006 Universität Augsburg