„specification and verification“
Suchergebnisse
1.000+ Treffer
-
Model-driven development for functional correctness of avionics systems – a verification framework for SysML specifications
-
Agent Technology from a Formal Perspective
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
-
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
-
Specification and Automatic Verification of Computational Reductions
-
Concise Guide to Formal Methods – Theory, Fundamentals and Industry Applications
-
Verification of turning insert specifications through three-dimensional vision system
-
Analysis and formal verification of SDL'92 specifications using extended Petri nets
-
Interactive systems – design, specification, and verification ; Bocca di Magra, Italy, June 1994
-
Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
-
Formal Specification and Verification for Automated Production Systems
-
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
-
Modeling, Specification and Verification of Smart Contract Applications
-
Specification and Seamless Verification of Embedded Real-Time Systems – FOCUS on Isabelle
-
Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
-
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
-
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
-
Program-level Specification and Deductive Verification of Security Properties
-
Product-line specification and verification with feature-oriented contracts
-
Formal specification and verification of a microkernel