„Program verification“

Suchergebnisse

1.065 Treffer

• A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications
  Souri, Alireza ; Norouzi, Monire
• Scalable and scope-bounded software verification in Varvel
  Ivančić, Franjo ; Balakrishnan, Gogul ; Gupta, Aarti ; Sankaranarayanan, Sriram ; Maeda, Naoto ; Imoto, Takashi ; Pothengil, Rakesh ; Hussain, Mustafa
• Compositional verification of asynchronous concurrent systems using CADP
  Garavel, Hubert ; Lang, Frédéric ; Mateescu, Radu
• Rule-based runtime verification revisited
  Havelund, Klaus
• Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability
  Sawada, Jun ; Hunt, Warren A.
• Verification of Real-Time Systems using Linear Relation Analysis
  Halbwachs, Nicolas ; Proy, Yann-Erick ; Roumanoff, Patrick
• Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems
  Baranov, S. N. ; Volkov, V. A. ; Godlevskii, A. B. ; Kapitonova, Yu. V. ; Letichevsky, A. A.
• Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
  Simons, David P.L ; Stoelinga, Mariëlle I.A
• Bisimulation verification using the up to techniques
  Hirschkoff, Daniel
• A loop acceleration technique to speed up verification of automatically generated plans
  Goldman, Robert P. ; Pelican, Michael J. S. ; Musliner, David J.
• Runtime verification of embedded real-time systems
  Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg
• Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
  Falcone, Yliès ; Jaber, Mohamad ; Nguyen, Thanh-Hung ; Bozga, Marius ; Bensalem, Saddek
• Introduction to the special issue on runtime verification
  Sokolsky, Oleg ; Roşu, Grigore
• Automating the diagram method to prove correctness of program transformations
  Sabel, David 2018 Universitätsbibliothek Johann Christian Senckenberg
• Refinement preserving approximations for the design and verification of heterogeneous systems
  Passerone, Roberto ; Burch, Jerry R. ; Sangiovanni-Vincentelli, Alberto L.
• Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions
  Currie, David ; Feng, Xiushan ; Fujita, Masahiro ; Hu, Alan J. ; Kwan, Mark ; Rajan, Sreeranga
• A Framework for the Functional Verification of SystemC Models
  Bruschi, Francesco ; Ferrandi, Fabrizio ; Sciuto, Donatella
• Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table
  Mukherjee, Rajarshi ; Jain, Jawahar ; Takayama, Koichiro ; Abraham, Jacob A. ; Fussell, Donald S. ; Fujita, Masahiro
• Introduction: Special Issue on Microprocessor Verifications
  Hunt, Warren A.
• Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language
  Nepomniaschy, V. A. ; Anureev, I. S. ; Promskii, A. V.