„program verification“

Suchergebnisse

1.065 Treffer

• How to balance the verification burden: a multi-hierarchical aggregate signature for drone swarms
  Meng, Lei ; Xu, Yueqiang ; Gao, Feiran ; Lin, Fuhong
• Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
  Barthe, Gilles ; Gordon, Andrew D. ; Katoen, Joost-Pieter ; McIver, Annabelle
• Deduction and Arithmetic (Dagstuhl Seminar 13411)
  Bjorner, Nikolaj ; Hähnle, Reiner ; Nipkow, Tobias ; Weidenbach, Christoph
• The RALph miner for automated discovery and verification of resource-aware process models
  Cabanillas, Cristina ; Ackermann, Lars ; Schönig, Stefan ; Sturm, Christian ; Mendling, Jan
• A formal verification framework for static analysis – As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
  Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo
• Empirical software metrics for benchmarking of verification tools
  Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian
• An extension of first-order LTL with rules with application to runtime verification
  Havelund, Klaus ; Peled, Doron
• Verification of heap manipulating programs with ordered data by extended forest automata
  Abdulla, Parosh Aziz ; Holík, Lukáš ; Jonsson, Bengt ; Lengál, Ondřej ; Trinh, Cong Quy ; Vojnar, Tomáš
• Model-based verification of data protection mechanisms in collaborative business processes
  Belluccini, Sara ; Nicola, Rocco De ; Dumas, Marlon ; Pullonen-Raudvere, Pille ; Re, Barbara ; Tiezzi, Francesco
• Probabilistic modelling and verification using RoboChart and PRISM
  Ye, Kangfeng ; Cavalcanti, Ana ; Foster, Simon ; Miyazawa, Alvaro ; Woodcock, Jim
• The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more
  Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
• RoboChart: modelling and verification of the functional behaviour of robotic applications
  Miyazawa, Alvaro ; Ribeiro, Pedro ; Li, Wei ; Cavalcanti, Ana ; Timmis, Jon ; Woodcock, Jim
• Challenges and practices in aligning requirements with verification and validation: a case study of six companies
  Bjarnason, Elizabeth ; Runeson, Per ; Borg, Markus ; Unterkalmsteiner, Michael ; Engström, Emelie ; Regnell, Björn ; Sabaliauskaite, Giedre ; Loconsole, Annabella ; Gorschek, Tony ; Feldt, Robert
• Hybrid automata: from verification to implementation
  Bak, Stanley ; Beg, Omar Ali ; Bogomolov, Sergiy ; Johnson, Taylor T. ; Nguyen, Luan Viet ; Schilling, Christian
• MBFair: a model-based verification methodology for detecting violations of individual fairness
  Ramadan, Qusai ; Konersmann, Marco ; Ahmadian, Amirshayan ; Jürjens, Jan ; Staab, Steffen
• Isabelle/Solidity: A Tool for the Verification of Solidity Smart Contracts (Tool Paper)
  Ahmed, Asad ; Marmsoler, Diego 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Logics for Ledgers
  Melkonian, Orestis ; Swierstra, Wouter ; Chapman, James 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Property Learning-Based Fault Detection for Liquid Propellant Rocket Engine Control Systems
  Urgolo, Andrea ; Pill, Ingo ; Waxenegger-Wilfing, Günther ; Freiberger, Manuel 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formalizing, Mechanizing, and Verifying Class-Based Refinement Types
  Sun, Ke ; Wang, Di ; Chen, Sheng ; Wang, Meng ; Hao, Dan 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations
  Qiu, Jie ; Cai, Colin ; Bhatia, Sahil ; Hasabnis, Niranjan ; Seshia, Sanjit A. ; Cheung, Alvin 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik