Formal System Development with KIV

Formal System Development with KIV
复制标题

使用 KIV 进行正式系统开发

DOI：
--
复制
发表时间：
2000
期刊：
Fundamental Approaches to Software Engineering
影响因子：
--
通讯作者：
A. Thums
A. Thums
中科院分区：
--
文献类型：
--
作者：
M. Balser;W. Reif;G. Schellhorn;Kurt Stenzel;A. Thums

文献摘要

被引文献

相似文献

KIV是正式系统开发的工具。 - 为了开发安全关键系统从正式要求规格到可执行代码，包括安全要求的验证和实施的正确性， - 对于从语义规范到经过验证的编译器的编程语言的语义基础， - 对于高级ITSEC [7]或CC [1]评估所需的构建安全模型和架构模型。
KIV is a tool for formal systems development. It can be employed, e.g., — for the development of safety critical systems from formal requirements specifications to executable code, including the verification of safety requirements and the correctness of implementations, — for semantical foundations of programming languages from a specification of the semantics to a verified compiler, — for building security models and architectural models as they are needed for high level ITSEC [7] or CC [1] evaluations.