„Program verification“

Suchergebnisse

1.065 Treffer

• Incremental column-wise verification of arithmetic circuits using computer algebra
  Kaufmann, Daniela ; Biere, Armin ; Kauers, Manuel
• Specification and Verification of Concurrent Programs Through Refinements
  Ray, Sandip ; Sumners, Rob
• Reductions and abstractions for formal verification of distributed round-based algorithms
  Barbosa, Raul ; Fonseca, Alcides ; Araujo, Filipe
• Compositional verification of concurrent systems by combining bisimulations
  Lang, Frédéric ; Mateescu, Radu ; Mazzanti, Franco
• Verifikation abstrakter Zustandsmaschinen
  Schellhorn, Gerhard 2019 Universität Augsburg
• Formal modelling and verification of a multi-agent negotiation approach for airline operations control
  Bouarfa, Soufiane ; Aydoğan, Reyhan ; Sharpanskykh, Alexei
• Formal Verification of Database Applications Using Predicate Abstraction
  Alam, Md Imran ; Halder, Raju
• Automatic verification of concurrent stochastic systems
  Kwiatkowska, Marta Z. ; Norman, Gethin ; Parker, David ; Santos, Gabriel
• Construction and verification of color fundus image retinal vessels segmentation algorithm under BP neural network
  Liu, Zhao
• Modular verification of programs with effects and effects handlers
  Letan, Thomas ; Régis-Gianas, Yann ; Chifflier, Pierre ; Hiet, Guillaume
• Configurable verification of timed automata with discrete variables
  Tóth, Tamás ; Majzik, István
• Verification of withstand capability for very fast transients of a 200 MVA, 500 kV GSU transformer by modelling and testing
  Rabel, A. ; Zhou, J.-J
• Verification of population protocols
  Esparza, Javier ; Ganty, Pierre ; Leroux, Jérôme ; Majumdar, Rupak
• Stability of Thin Rectangular Laminated Composite Plates – Biaxial Compression
  Elmardi Suleiman Khayal, Osama Mohammed 2020 GRIN Verlag
• Stability of Thin Rectangular Laminated Composite Plates – Biaxial Compression
  Elmardi Suleiman Khayal, Osama Mohammed 2020 GRIN Verlag
• Multi-scale verification of distributed synchronisation
  Gainer, Paul ; Linker, Sven ; Dixon, Clare ; Hustadt, Ullrich ; Fisher, Michael
• Construction and verification of retinal vessel segmentation algorithm for color fundus image under BP neural network model
  Tang, Siyuan ; Yu, Feifei
• Abstract Transducers for Software Analysis and Verification
  Stahlbauer, Andreas ; Apel, Sven ; Visser, Willem 2020 Universität Passau
• Dedicative Verification of Reflex Programs
  Anureev, I. S. ; Garanina, N. O. ; Lyakh, T. V. ; Rozov, A. S. ; Zyubin, V. E. ; Gorlatch, S. P.
• Modeling and Verification Methods for Application Design in Heterogeneous Architectures
  Pogorilyy, S. ; Slynko, M.