„program verification“

Suchergebnisse

1.065 Treffer

• Verification of the C0 compiler implementation on the source code level
  Petrova, Elena
• Temporal verification with transition invariants
  Rybalchenko, Andrey
• Verification of JavaCard programs
  Stenzel, Kurt 2005 Universität Augsburg
• Verification of sequential imperative programs in Isabelle-HOL
  Schirmer, Norbert
• Specification and verification of object oriented software components
  Roth, Andreas 2006 Univ.-Verl. Karlsruhe
• Verification of Java card programs
  Stenzel, Kurt
• Compositional verification of industrial control systems – methods and case studies
  Lukoschus, Ben
• Verification of Erlang programs using abstract interpretation and model checking
  Huch, Frank Günter
• Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
  Prensa Nieto, Leonor
• Integration of verification and testing into compilation systems – concept and case study
  Didrich, Klaus
• Abstract state machines – verification problems and computational power
  Nowack, Antje
• Software verification for programmable logic controllers
  Huuck, Ralf
• Hybrid learning scenario path selection and abstraction framework for smart verification of complex SoCs
  Sharma, Gaurav ; Bhargava, Lava ; Kumar, Vinod
• Verification, Model Checking, and Abstract Interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
  2016 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
  Barthe, Gilles 2010 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
  Cook, Byron 2007 Springer International Publishing
• 7th International Verification Methods Workshop – 03.-11. May 2017 in Berlin, Germany ; Programme and Abstracts
  2017 Deutscher Wetterdienst, Deutsche Meteorologische Bibliothek
• Fundamental Approaches to Software Engineering – 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
  2017 Springer International Publishing
• Web Reasoning and Rule Systems – 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
  Faber, Wolfgang ; Lembo, Domenico 2016 Springer International Publishing
• Web Reasoning and Rule Systems – 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
  Cate, Balder ˜tenœ ; Mileo, Alessandra 2015 Springer International Publishing