„program verification“

Suchergebnisse

1.065 Treffer

• An Overview of the Runtime Verification Tool Java PathExplorer
  Havelund, Klaus ; Roşu, Grigore
• Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
  Pogosyants, Anna ; Segala, Roberto ; Lynch, Nancy
• Refinement-based formal verification with heterogeneous timing
  Kong, Xiaohua ; Negulescu, Radu ; Weidong Ying, Larry
• Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems
  Jeannet, B.
• KRONOS: a verification tool for real-time systems
  Yovine, Sergio
• A verification tool for ERLANG
  Fredlund, Lars–Åke ; Gurov, Dilian ; Noll, Thomas ; Dam, Mads ; Arts, Thomas ; Chugunov, Gennady
• Landmark-based data location verification in the cloud: review of approaches and challenges
  Irain, Malik ; Jorda, Jacques ; Mammeri, Zoubir
• Lectures on Runtime Verification – Introductory and Advanced Topics
  Bartocci, Ezio ; Falcone, Yliès 2018 Springer Berlin Heidelberg
• On the verification of SCOOP programs
  Caltais, Georgiana ; Meyer, Bertrand 2017 KOPS Universität Konstanz
• Automata-based verification of programs with tree updates
  Habermehl, Peter ; Iosif, Radu ; Vojnar, Tomáš
• Verification and validation of models – far-field modelling of radionuclide migration ; work performed under contact with the European Atomic Energy Community in the framework of its shared-cost R&D programme on management and storage of radioactive waste [1985-89] ; final report
  Porter, J. D. 1992 Office for Official Publ. of the Europ. Communities
• SPIN model checking and software verification ; proceedings
  Havelund, Klaus 2000 Springer
• Verification – theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday
  Dershowitz, Nachum ; Manna, Zohar 2003 Springer
• Verification and validation of logic control algorithms by model checking – = Verifikation und Validierung von Steuerungsalgorithmen mittels Model Checking
  Weng, Xiying 2003 Shaker
• Assessing SMT and CLP approaches for workflow nets verification
  Bride, Hadrien ; Kouchnarenko, Olga ; Peureux, Fabien ; Voiron, Guillaume
• Verification of asynchronous systems with an unspecified component
  Abbasi, Rosa ; Ghassemi, Fatemeh ; Khosravi, Ramtin
• Slicing ATL model transformations for scalable deductive verification and fault localization
  Cheng, Zheng ; Tisi, Massimo
• Component-based verification using incremental design and invariants
  Bensalem, Saddek ; Bozga, Marius ; Legay, Axel ; Nguyen, Thanh-Hung ; Sifakis, Joseph ; Yan, Rongjie
• An overview of model checking practices on verification of PLC software
  Ovatman, Tolga ; Aral, Atakan ; Polat, Davut ; Ünver, Ali Osman
• Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
  Gouw, Stijn de ; Boer, Frank de ; Ahrendt, Wolfgang ; Bubel, Richard