„Program Verification“

Suchergebnisse

1.065 Treffer

• Statistical verification of PCTL using antithetic and stratified samples
  Wang, Yu ; Roohi, Nima ; West, Matthew ; Viswanathan, Mahesh ; Dullerud, Geir E.
• Relational Program Reasoning Using Compiler IR – Combining Static Verification and Dynamic Analysis
  Kiefer, Moritz ; Klebanov, Vladimir ; Ulbrich, Mattias
• Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols
  Méry, Dominique ; Poppleton, Michael
• Automated Verification of Functional Correctness of Race-Free GPU Programs
  Kojima, Kensuke ; Imanishi, Akifumi ; Igarashi, Atsushi
• Advances in verification presented in TACAS’13
  Piterman, Nir
• Automating regression verification of pointer programs by predicate abstraction
  Klebanov, Vladimir ; Rümmer, Philipp ; Ulbrich, Mattias
• The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
  Vlasenko, A. Yu ; Gudov, A. M.
• Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫
  Matos Pedro, André de ; Pinto, Jorge Sousa ; Pereira, David ; Pinho, Luís Miguel
• Introduction to the special issue on runtime verification
  Bartocci, Ezio ; Majumdar, Rupak
• A characterisation of verification tools for software defined networks
  Lavado, Leticia ; Panizo, Laura ; Gallardo, María-del-Mar ; Merino, Pedro
• Automated verification of automata communicating via FIFO and bag buffers
  Akroun, Lakhdar ; Salaün, Gwen
• A curious collaborative approach for data integrity verification in cloud computing
  Saxena, Rajat ; Dey, Somnath
• 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
  Goranko, Valentin ; Dam, Mads 2017 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Global survey of malaria rapid diagnostic test (RDT) sales, procurement and lot verification practices: assessing the use of the WHO–FIND Malaria RDT Evaluation Programme (2011–2014)
  Incardona, Sandra ; Serra-Casas, Elisa ; Champouillon, Nora ; Nsanzabana, Christian ; Cunningham, Jane ; González, Iveth J.
• On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification
  Angius, Nicola
• Parameterized verification of algorithms for oblivious robots on a ring
  Sangnier, Arnaud ; Sznajder, Nathalie ; Potop-Butucaru, Maria ; Tixeuil, Sébastien
• 24th International Conference on Types for Proofs and Programs (TYPES 2018)
  Dybjer, Peter ; Espírito Santo, José ; Pinto, Luís 2019 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Variable order metrics for decision diagrams in system verification
  Amparore, Elvio G. ; Donatelli, Susanna ; Ciardo, Gianfranco
• Scenario-based verification of real-time systems using Uppaal
  Li, Shuhao ; Balaguer, Sandie ; David, Alexandre ; Larsen, Kim G. ; Nielsen, Brian ; Pusinskas, Saulius
• Symbolic method of verification of definite iterations over altered data structures
  Nepomniaschy, V. A.