„Program verification“

Suchergebnisse

1.065 Treffer

• Specification and automated verification of atomic concurrent real-time transactions
  Cai, Simin ; Gallina, Barbara ; Nyström, Dag ; Seceleanu, Cristina
• Convergence verification of the Collatz problem
  Barina, David
• VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance
  Yousefi, Farnaz ; Khamespanah, Ehsan ; Gharib, Mohammed ; Sirjani, Marjan ; Movaghar, Ali
• Verification supported refactoring of embedded sql
  Spasić, Mirko ; Janičić, Milena Vujošević
• Runtime verification of real-time event streams under non-synchronized arrival
  Leucker, Martin ; Sánchez, César ; Scheffel, Torben ; Schmitz, Malte ; Schramm, Alexander
• Dependency graphs with applications to verification
  Enevoldsen, Søren ; Larsen, Kim G. ; Mariegaard, Anders ; Srba, Jiří
• Verification and refutation of C programs based on k-induction and invariant inference
  Alhawi, Omar M. ; Rocha, Herbert ; Gadelha, Mikhail R. ; Cordeiro, Lucas C. ; Batista, Eddie
• Logic-based specification and verification of homogeneous dynamic multi-agent systems
  De Masellis, Riccardo ; Goranko, Valentin
• Energy-Efficient Mobile Node in Multicast Batch Verification
  Jagadeesha, R. ; Thippeswamy, K.
• Building program construction and verification tools from algebraic principles
  Armstrong, Alasdair ; Gomes, Victor B. F. ; Struth, Georg
• Automating deductive verification for weak-memory programs (extended version)
  Summers, Alexander J. ; Müller, Peter
• On Methods of the Verification and Elaboration of Development Programs for Agricultural Territories
  Vega Vice, J. L. ; Mikhailov, V. Y.
• The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination
  Kondratyev, D. A. ; Maryasov, I. V. ; Nepomniaschy, V. A.
• Modeling and simulation of OBPN for forecasting of long-range monsoon AWR over a smaller homogeneous region through astrological parameters and its verification for 2019
  Karmakar, Sanjeev ; Goswami, Shreerup
• Strategic logics for collaborative embedded systems – Specification and verification of collaborative embedded systems using strategic logics
  Kurpiewski, Damian ; Marmsoler, Diego
• Towards runtime verification of collaborative embedded systems
  Akili, Samira ; Lorenz, Felix
• Developing a Fuzzy Verification Method of Performance Improvement Using Satisfaction Index
  Chen, Kuen-Suan ; Lii, Peir-Chyi ; Li, Shao-Yu ; Yu, Chun-Min
• How effective are existing Java API specifications for finding bugs during runtime verification?
  Legunsen, Owolabi ; Al Awar, Nader ; Xu, Xinyue ; Hassan, Wajih Ul ; Roşu, Grigore ; Marinov, Darko
• A survey of challenges for runtime verification from advanced application domains (beyond software)
  Sánchez, César ; Schneider, Gerardo ; Ahrendt, Wolfgang ; Bartocci, Ezio ; Bianculli, Domenico ; Colombo, Christian ; Falcone, Yliès ; Francalanza, Adrian ; Krstić, Srđan ; Lourenço, Joa̋o M. ; Nickovic, Dejan ; Pace, Gordon J. ; Rufino, Jose ; Signoles, Julien ; Traytel, Dmitriy ; Weiss, Alexander
• Verification and abstraction of real-time variability-intensive systems
  Cordy, Maxime ; Legay, Axel