„Program Verification“

Suchergebnisse

1.065 Treffer

• Automated anonymity verification of the ThreeBallot and VAV voting systems
  Moran, Murat ; Heather, James ; Schneider, Steve
• Contract-based verification of discrete-time multi-rate Simulink models
  Boström, Pontus ; Wiik, Jonatan
• Environment-driven reachability for timed systems – Safety verification of an aircraft landing gear system
  Teodorov, Ciprian ; Dhaussy, Philippe ; Roux, Luka Le
• How verified (or tested) is my code? Falsification-driven verification and testing
  Groce, Alex ; Ahmed, Iftekhar ; Jensen, Carlos ; McKenney, Paul E. ; Holmes, Josie
• Blockchain-based mobile fingerprint verification and automatic log-in platform for future computing
  Huh, Jun-Ho ; Seo, Kyungryong
• Introduction to the special issue on runtime verification
  Falcone, Yliès ; Sánchez, César
• 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018)
  Brandner, Florian 2018 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Toward automatic verification of quantum programs
  Ying, Mingsheng
• La vérification de l'optimisation des ressources appliquée à l'hôpital
  Zeramdini, Mohamed Hedi 2018 Éditions universitaires européennes
• Communications and multimedia security – 15th IFIP TC 6 TC 11 international conference ; proceedings
  De Decker, Bart ; Zúquete, André 2014 Springer
• Verification of relational programs supported by theorem provers
  Stucke, Insa 2017
• Derivation of operation rule for Ilisu dam
  Al-Tai, Zahra'a Hakim 2018 LAP LAMBERT Academic Publishing
• A methodology to take credit for high-level verification during RTL verification
  Doucet, Frederic ; Kurshan, Robert
• Integrated formal verification of safety-critical software
  Ge, Ning ; Jenn, Eric ; Breton, Nicolas ; Fonteneau, Yoann
• Verification, model checking, and abstract interpretation – 6th international conference ; proceedings
  Cousot, Radhia 2005 Springer
• Foundations of Software Science and Computation Structures – 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Muscholl, Anca 2014 Springer Berlin Heidelberg
• Tools and algorithms for the construction and analysis of systems – 20th international conference ; proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer
• Foundations of software science and computation structures – 17th international conference ; proceedings
  Muscholl, Anca 2014 Springer
• Fundamental approaches to software engineering – 17th international conference ; proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer
• Structured Object-Oriented Formal Language and Method – Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
  2014 Springer International Publishing