„Program verification“

Suchergebnisse

1.065 Treffer

• Application of Modal Logics to the Specification and Verification of Programs
  Popov, V. B. ; Anafiev, A. S.
• Verification of gamma-spectroscopy programs: N42.14 and beyond
  Koskelo, M. J. ; Schwenn, H. R.
• Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification
  Marcos, Mar ; Moisan, Sabine ; Del Pobil, Angel P.
• Specification and verification of database dynamics
  Fiadeiro, José ; Sernadas, Amílcar
• An approach to automating the verification of compact parallel coordination programs. I
  Lubachevsky, Boris D.
• Hierarchical program specification and verification — a many-sorted logical approach
  Nakajima, Reiji ; Honda, Michio ; Nakahara, Hayao
• Automatic program verification I: A logical basis and its implementation
  Igarashi, Shigeru ; London, Ralph L. ; Luckham, David C.
• The verification and synthesis of data structures
  Spitzen, Jay ; Wegbreit, Ben
• Product properties and their direct verification
  Francez, Nissim
• Verification of programs with procedure-type parameters
  Ernst, George W. ; Navlakha, Jainendra K. ; Ogden, William F.
• Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
  König, Matthias ; Hoos, Holger Hendrik ; van Rijn, Jan N. 2022 Universitätsbibliothek der RWTH Aachen
• A behavioral analysis and verification approach to pattern-based design composition
  Dong, Jing ; Alencar, Paulo S.C ; Cowan, Donald D.
• Functional Verification of Programmable Embedded Architectures – A Top-Down Approach
  Mishra, Prabhat ; Dutt, Nikil 2005 Springer US
• Decidable Verification of Golog Programs over Non-Local Effect Actions – Extended Version
  Zarrieß, Benjamin ; Claßen, Jens 2022 Technische Universität Dresden
• Verification of Knowledge-Based Programs over Description Logic Actions
  Zarrieß, Benjamin ; Claßen, Jens 2022 Technische Universität Dresden
• Verification and Enforcement of Safe Schedules for Concurrent Programs
  Metzler, Patrick ; Peters, Kirstin ; Weissenbacher, Georg 2020 Universitäts- und Landesbibliothek
• Formal methods for industrial critical systems – 17th international workshop ; proceedings
  Stoelinga, Mariëlle ; Pinger, Ralf 2012 Springer
• Haifa verification conference 2007
  Yorav, Karen
• Guest editorial: special issue on emerging challenges in software certification and verification
  De Simone, Luigi ; Laranjeiro, Nuno ; Cotroneo, Domenico
• A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model
  Mironov, A. M.