„Program verification“

Suchergebnisse

1.065 Treffer

• Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
  Ahrendt, Wolfgang ; Chimento, Jesús Mauricio ; Pace, Gordon J. ; Schneider, Gerardo
• Symbolic verification of event–condition–action rules in intelligent environments
  Vannucchi, Claudia ; Diamanti, Michelangelo ; Mazzante, Gianmarco ; Cacciagrano, Diletta ; Culmone, Rosario ; Gorogiannis, Nikos ; Mostarda, Leonardo ; Raimondi, Franco
• Symbolic trajectory evaluation for word-level verification: theory and implementation
  Chakraborty, Supratik ; Khasidashvili, Zurab ; Seger, Carl-Johan H. ; Gajavelly, Rajkumar ; Haldankar, Tanmay ; Chhatani, Dinesh ; Mistry, Rakesh
• MCMAS: an open-source model checker for the verification of multi-agent systems
  Lomuscio, Alessio ; Qu, Hongyang ; Raimondi, Franco
• Covering sharing trees: a compact data structure for parameterized verification
  Delzanno, Giorgio ; Raskin, Jean-François ; Van Begin, Laurent
• A semantic model for the analysis and verification of programs in general, higher-level languages
  Plödereder, Erhard 2016 Universitätsbibliothek der Universität Stuttgart
• Dynamic Bayesian networks for formal verification of structured stochastic processes
  Esmaeil Zadeh Soudjani, Sadegh ; Abate, Alessandro ; Majumdar, Rupak
• A quantitative analysis of the unit verification perspective on fault distributions in complex software systems: an operational replication
  Grbac, Tihana Galinac ; Runeson, Per ; Huljenić, Darko
• VerifyThis 2015 – A program verification competition
  Huisman, Marieke ; Klebanov, Vladimir ; Monahan, Rosemary ; Tautschnig, Michael
• Performance-aware server architecture recommendation and automatic performance verification technology on IaaS cloud
  Yamato, Yoji
• Integrating symbolic execution, debugging and verification – = Integration von symbolischer Programmausführung, Debugging und Verifikation
  Hentschel, Martin 2016
• Automated formal verification of visual modeling languages by model checking
  Varró, Dániel
• Formal modeling of random oracle programmability and verification of signature unforgeability using task-PIOAs
  Yoneyama, Kazuki
• Efficient parallel reasoning on fuzzy goal models for run time requirements verification
  Chatzikonstantinou, George ; Kontogiannis, Kostas
• Equivalence class verification of the contract net protocol-extension
  Gupta, Amar Kumar ; Gallasch, Guy Edward
• Region analysis for deductive verification of C programs
  Mandrykin, M. U. ; Khoroshilov, A. V.
• Towards deductive verification of C programs with shared data
  Mandrykin, M. U. ; Khoroshilov, A. V.
• Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification
  Nilsson, Mikael ; Kvarnström, Jonas ; Doherty, Patrick
• Scalable Bit-precise Formal Verification of Embedded Software
  He, Nannan 2016 LAP LAMBERT Academic Publishing
• A unified view of parameterized verification of abstract models of broadcast communication
  Delzanno, Giorgio