„Program verification“

Suchergebnisse

1.065 Treffer

• Modular compiler verification – a refinement algebraic approach advocating stepwise abstraction
  Müller-Olm, Markus 1997 Springer
• Modular specification and verification of object oriented programs
  Müller, Peter 2001 Fernuniv., Fachbereich Informatik
• Verification of modal properties using Boolean equation systems
  Mader, Angelika 1997 Bertz
• Iterative solution of linear systems with improved arithmetic and result verification
  Facius, Axel
• Fine-Grained Complexity of Program Verification
  Chini, Peter ; Meyer, Roland ; Esparza, Javier 2022 Universitätsbibliothek Braunschweig
• Verification of sequential and concurrent programs
  Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger 1997 Springer
• Workshop Verification, Construction, and Synthesis of Programs – April 6 and 7, 1989 in Karlsruhe
  Furbach, Ulrich 1989 Inst. for Logic, Complexity and Deductive Systems
• A measurement framework for improving verification processes
  Debou, Christophe ; Haux, Michael ; Jungmayr, Stefan
• Transactions on Petri nets and other models of concurrency
  2023 Springer
• Verification of Erlang programs using abstract interpretation and model checking
  Huch, Frank Günter
• Research on safety verification methods of static data of train control systems based on deep association rules
  Wang, Tongdian ; Xu, Qingyang
• Card-Based Cryptography Meets Formal Verification
  Koch, Alexander ; Schrempp, Michael ; Kirsten, Michael
• Card-Based Cryptography Meets Formal Verification
  Koch, Alexander ; Schrempp, Michael ; Kirsten, Michael
• Program verifier Tatzelwurm – the correctness an completeness of the generation of the verification conditions
  Käufl, Thomas 1989 Univ., Fak. für Informatik
• Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction
  Herdt, Vladimir ; Le, Hoang M. ; Große, Daniel ; Drechsler, Rolf
• Formal methods and automated verification of critical systems
  Beek, Maurice H. ter ; Gnesi, Stefania ; Knapp, Alexander
• A feature-based classification of formal verification techniques for software models
  Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina ; Gogolla, Martin ; Kappel, Gerti
• Application-Dependent Hardware/Software Cross-Layer Fault Analysis
  Bartsch, Christian ; Kunz, Wolfgang 2023 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Real-time design patterns for the verification of safety-critical embedded systems in model-based approach
  Mzid, Rania
• Extending KeY for the Verification of C Programs – The Development of a Prototype
  Gladisch, Christoph 2008 VDM Verlag Dr. Müller