Integrated formal verification of safety-critical software

Ge, N; Jenn, E; Breton, N; Fonteneau, Y

Ge, N (reprint author), Beihang Univ, Sch Software, Beijing, Peoples R China.; Ge, N (reprint author), IRT St Exupery, Toulouse, France.; Ge, N (reprint author), Systerel, Toulouse, France.

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018; 20 (4): 423

Abstract

This work presents a formal verification process based on the Systerel Smart Solver (S3) toolset for the development of safety-critical embedded softw......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索