Building heterogeneous safety cases for automatically generated code

Building heterogeneous safety cases for automatically generated code

Indexed by Scopus

Saved in:
Bibliographic Details
Main Authors: Basir N., Denney E., Fischer B.
Other Authors: Universiti Sains Islam Malaysia (USIM)
Format: Conference Paper
Language:English
en_US
Published: 2024
Subjects:
Automated code generation
Automated theorem proving
Formal analysis
Formal proofs
Model-based software development
Safety cases
V&V
Safety case
Automation
Theorem proving
Safety engineering
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items