„specification and verification“

Suchergebnisse

1.000+ Treffer

• Model-driven development for functional correctness of avionics systems – a verification framework for SysML specifications
  Kausch, Hendrik ; Pfeiffer, Mathias ; Raco, Deni ; Rumpe, Bernhard ; Schweiger, Andreas 2024 Universitätsbibliothek der RWTH Aachen
• Agent Technology from a Formal Perspective
  Hinchey, Michael ; Rash, James ; Truszkowski, Walt ; Gordon-Spears, Diana F. ; Rouff, Christopher A. 2006 Springer London
• Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  Przigoda, Nils ; Wille, Robert ; Przigoda, Judith ; Drechsler, Rolf 2018 Springer International Publishing
• Polak, W., Compiler Specification and Verification Lecture Notes in Computer Science 124. Berlin‐Heidelberg‐New York, Springer‐Verlag 1981. XIII, 269 S., DM 29,50. US $ 13.80. ISBN 3‐540‐10886‐6
  Stein, E.
• Specification and Automatic Verification of Computational Reductions
  Grange, Julien ; Vehlken, Fabian ; Vortmeier, Nils ; Zeume, Thomas 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Concise Guide to Formal Methods – Theory, Fundamentals and Industry Applications
  O'Regan, Gerard 2017 Springer International Publishing
• Verification of turning insert specifications through three-dimensional vision system
  Ping, Geng-Hao ; Chien, Jui-Hung ; Chiang, Pei-Ju
• Analysis and formal verification of SDL'92 specifications using extended Petri nets
  Fischer, Joachim ; Dimitrov, Evgeni ; Taubert, Udo 1995 Professoren des Inst. für Informatik
• Interactive systems – design, specification, and verification ; Bocca di Magra, Italy, June 1994
  Paternò, Fabio 1995 Springer
• Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
  Schieferdecker, Ina 1995 Oldenbourg
• Formal Specification and Verification for Automated Production Systems
  Weigl, Alexander ; Beckert, B. 2021 KIT-Bibliothek
• Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
  Rizaldi, Albert ; Althoff, Matthias ; Nipkow, Tobias 2019 Universitätsbibliothek der TU München
• Modeling, Specification and Verification of Smart Contract Applications
  Schiffl, Jonas ; Beckert, Bernhard ; Ahrendt, Wolfgang 2025 KIT-Bibliothek
• Specification and Seamless Verification of Embedded Real-Time Systems – FOCUS on Isabelle
  Spichkova, Maria 2008 VDM Verlag Dr. Müller
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin ; Schmitt, P. H. 2011 KIT Scientific Publishing
• Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
  Marmsoler, Diego ; Broy, Manfred ; Knapp, Alexander 2019 Universitätsbibliothek der TU München
• Relational Reasoning - Constraint Solving, Deduction, and Program Verification
  Ghazi, Aboubakr Achraf ˜elœ ; Taghdiri, M. 2015 KIT-Bibliothek
• Program-level Specification and Deductive Verification of Security Properties
  Scheben, Christoph ; Schmitt, P. H. 2014 KIT-Bibliothek
• Product-line specification and verification with feature-oriented contracts
  Thüm, Thomas ; Saake, Gunter 2015 Universitätsbibliothek
• Formal specification and verification of a microkernel
  Dörrenbächer, Jan