Peer-reviewed open-access journal
published since 1998 by Procon Ltd.

Volume

ISIJ 53: Enhanced Collaboration for Cyber Security and Resilience

Views

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds

Tobias Reinhard

How to cite:

Tobias Reinhard

"Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds"

Faculty of Engineering Science,

Doctor of Engineering Science (PhD): Computer Science,

(2024):

Authors:

Tobias Reinhard

Source:

Faculty of Engineering Science,

Volume: Doctor of Engineering Science (PhD): Computer Science,

(2024)

Publisher:

KU Leuven

Views

References

Mark Lawford, Alan Wassyng

"Formal Verification of Nuclear Systems: Past, Present, and Future."

Information & Security: An International Journal

28,

no. 2

(2012):

223-235.

Field of application

Concepts and Implementation

Policy, strategy and doctrine

Technologies

C4ISR

Architectures

Modelling and Simulation

OR & Systems Analysis

Cryptography

Data mining

Deep Learning & AI

Emerging Technologies

ISIJ 53: Enhanced Collaboration for Cyber Security and Resilience

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds

The C-factor in the Cybersecurity Equation: The Importance of Student Cybersecurity Competitions

On Inequalities Bounding Imprecision and Nonspecificity Measures of Uncertainty

On the Effectiveness of Measures of Uncertainty of Basic Belief Assignments

Blockchain in Agriculture

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds

Authors:

Source:

Publisher:

Field of application

Concepts and Implementation

Technologies