Formal Analysis and Verification of Airborne Software Based on DO-333

Electronics (Switzerland)- Switzerland

doi 10.3390/electronics9020327

Full Text

Abstract

Available in

Categories

Electronic Engineering

Signal Processing

Computer Networks

Systems Engineering

Date

February 14, 2020

Authors

Publisher

MDPI AG

Related search

Formal Verification of Object-Oriented Software

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Formal Verification of System-Level Safety Properties on Railway Software

English

Formal Framework for Automated Analysis and Verification of Web-Based Applications

English

Formal Based Verification to Build Safer Cars

International Journal of Computer Applications

English

Verification of Invariant Properties of Business Process Based on Formal Approach

English

Formal Specification and Verification

English

On Verification of Software Components

International Journal of Software Engineering & Applications

English

On Quantitative Software Verification

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

Italian

Formal Representation and Comparative Analysis of Software Runtime Process

The Advanced Science Journal

English