Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Subject heading
Subject heading

Allgemeinbegriff

Verifikation

Logik, Erkenntnis

Subject heading

Verifikation

Definition

verknüpfe mit Anwendungsgebiet

Synonym

Verifizierung
Verifizierbarkeit

Broader term

Logik
Erkenntnis

Related

Wahrheit (verwandter Begriff)

Topic

Erkenntnistheorie, Logik

Source

M 1.

Record type

Allgemeinbegriff

GND-Identifier

4135577-5

Record ID

041355776

Topic of

show all

A Method for the Automated Analysis and Design of Fault-tolerant and Certifiable Power Architectures for Hydrogen-hybrid VTOL Aircraft

Efficient Software Tools for Scalable Model-Based Validation and Verification

From commutativity to proofs and back again: reduction and verification of concurrent programs

A binary analysis platform for cryptographic protocols

A Link Between Anomaly Detection and Runtime Verification

Advancing security protocol verification : A journey along the boundaries of the symbolic model

Computational Limits of Population Protocols: Space Complexity, Robustness and Expressive Power

Cooperative Software Verification

Dynamic Verifiable Mixed Criticality Scheduling-Framework for Intelligent Infrastructure-Systems

Engineering of safety in automated safety-critical systems through design-time verification and runtime validation of environment assumptions

Formal software engineering of distributed systems using focus-streams and automata

Formal-Methods Support for Runtime Adaptation in Self-Adaptive Systems

Formalization and Verification of Post-Quantum Cryptography

Formally Verified Solution Methods for Markov Decision Processes

MBMV 2023 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop, 23.-24. März 2023 in Freiburg

MBMV 2024 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 27. Workshop, 14.-15.Februar 2024 in Kaiserslautern

MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 28. Workshop, 11.-12. März 2025 in Rostock

Modeling, Specification and Verification of Smart Contract Applications

Ramsey Quantifiers in First-Order Logic: Complexity and Applications to Verification

Safer AI via Exploiting the Structure of Learned Systems for Monitoring, Verification, Abstraction, Representations, and Explainability

Scaling Correctness-by-Construction

Simulation and Code Generation for Validation and Verification of Formal B Models

smartIflow - A Model Based Approach for Safety Analysis in the Early Product Life Cycle Stages

Statistical Model Checking with Robust Markov Decision Processes

Straddling the border between tests and proofs

The complexity of formal verification of neural network based models

Theory, Limitations and Applications of Robustness Verification Methods for Neural Networks

Validierung & Verifizierung im Lebensmittelunternehmen : praxisnah - sicher - verständlich

Verification of a Combined Variable Approach for the Microbiological Validation of Monochromatic- and Polychromatic UV Systems

Verification of asynchronous hyperproperties

Verification of Data-Value-Aware Process Models

Verification of Derandomized Probabilistic Algorithms

Verifying Quantum Based Systems : What do we have to change?

Advanced Methods for Model-Driven Safety Analysis and Verification

Ansätze für die Modellierung von Streckeninformationen zur Verifikation im Steuerungsentwurf

Applications for Symbol Elimination in Combination with Hierarchical Reasoning

Applying software model checking: experiences and advancements

Artifact for "A dynamic logic for symbolic execution for the smart contract programming language Michelson"

Automated deductive verification of probabilistic programs

Certificates for automata in a hostile environment

Complete property-oriented testing

Computational Complexity of Verifying Parameterized Systems

Cross-Resolution Face Verification

Efficient Control via Reachability Synthesis for Cyber-Physical Systems

Entwicklung, Verifikation und Validierung einer Time-of-Flight Beleuchtungsbaugruppe mit HF-modulierten, individuell aktivierbaren VCSEL-Arrays

Exploring cooperative verification : survey, tools, and experiments

Fixpoint Checks and Computations for Behavioural Metrics and Games

Formal verification of logical calculi and simulations in Isabelle/HOL

Guaranteeing Complex Safety Specifications for Autonomous Vehicles via Reinforcement Learning with Formal Methods

Human-Heart-Models for Formal Verification and Hardware-in-the-Loop Validation of Pacemakers

Inductive Statements for Regular Transition Systems

Learning Temporal Properties for Explainability and Verification

Leveraging invariant information towards incremental Software Model Checking

MBMV 2024 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 27. Workshop, 14.-15.Februar 2024 in Kaiserslautern

Modeling and Identification for Formally Safe Human-Robot Interaction

Probabilistic Model Checking for Temporal Logics in Weighted Structures

Provably accurate verdictors : foundations and applications

Rahmenwerk zur automatisierten Verifikation eines systemorientierten Produktentstehungsprozesses in der Automobilentwicklung

Scalable Robust Controller Synthesis for Computing Safe Sets

Scaling up relaxed memory verification with separation logics
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal