„Program verification“

Suchergebnisse

1.065 Treffer

• High-level frameworks for the specification and verification of scheduling problems
  Chadli, Mounir ; Kim, Jin H. ; Larsen, Kim G. ; Legay, Axel ; Naujokat, Stefan ; Steffen, Bernhard ; Traonouez, Louis-Marie
• A taxonomy for classifying runtime verification tools
  Falcone, Yliès ; Krstić, Srđan ; Reger, Giles ; Traytel, Dmitriy
• Stream runtime verification of real-time event streams with the Striver language
  Gorostiaga, Felipe ; Sánchez, César
• Generalized Computational Experiment and Verification Problems
  Alekseev, A. K. ; Bondarev, A. E. ; Galaktionov, V. A. ; Kuvshinnikov, A. E.
• Efficient detection of silent data corruption in HPC applications with synchronization-free message verification
  Zhang, Guozhen ; Liu, Yi ; Yang, Hailong ; Qian, Depei
• Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications
  El-Hokayem, Antoine ; Falcone, Yliès
• Introduction to the special issue of the 19th International Conference on Runtime Verification
  Finkbeiner, Bernd ; Mariani, Leonardo
• VerifyThis 2019: a program verification competition
  Dross, Claire ; Furia, Carlo A. ; Huisman, Marieke ; Monahan, Rosemary ; Müller, Peter
• Online signature verification based on dynamic features from gene expression programming
  Tan, Hua ; He, Lang ; Huang, Zhang-Can ; Zhan, Hang
• A convention on greenhouse gases – towards the design of a verification system
  Fischer, Wolfgang ; Primio, Juan C. ˜diœ ; Stein, Gotthard 1990 KFA
• Verified software: theories, tools, experiments – 4th international conference ; proceedings
  Joshi, Rajeev ; Müller, Peter ; Podelski, Andreas 2012 Springer
• An Approach to the Specification and Verification of a Hardware Compilation Scheme
  Bowen, Jonathan P. ; Jifeng, He
• Logic, language, information and computation – 22nd international workshop ; proceedings
  De Paiva, Valeria ; Queiroz, Ruy J. G. B. ˜deœ ; Moss, Lawrence Stuart ; Leivant, Daniel ; de Oliveira, Anjolina 2015 Springer
• Engineering secure software and systems – 5th international symposium ; proceedings
  Jürjens, Jan ; Livshits, Ben ; Scandariato, Riccardo 2013 Springer
• Hardware and software, verification and testing – revised selected papers
  Bin, Eyal 2007 Springer
• Specification and verification of object oriented software components
  Roth, Andreas 2006 Univ.-Verl. Karlsruhe
• Verification, model checking, and abstract interpretation – 4th international conference ; proceedings
  Zuck, Lenore D. 2003 Springer
• Faster algorithms for quantitative verification in bounded treewidth graphs
  Chatterjee, Krishnendu ; Ibsen-Jensen, Rasmus ; Pavlogiannis, Andreas
• Preface of the special issue on the conference on computer-aided verification 2018
  Chockler, Hana ; Weissenbacher, Georg
• Finite Difference Computing with PDEs – A Modern Software Approach
  Langtangen, Hans Petter ; Linge, Svein 2017 Springer International Publishing