机译:基于功能的软件模型形式验证技术分类
Tech Univ Darmstadt, Darmstadt, Germany;
Vienna Univ Technol, Business Informat, Vienna, Austria;
Johannes Kepler Univ Linz, Inst Formal Models & Verificat, Linz, Austria;
Univ Bremen, Comp Sci, Bremen, Germany;
Vienna Univ Technol, Vienna, Austria;
Model-based engineering; Verification; Model checking; Theorem proving;
机译:用于模型转换的形式验证技术:三维分类
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:正式软件验证自动化技术概述
机译:用于硬件依赖软件的形式验证的模型简化技术
机译:用于安全关键医疗设备软件控制的正式验证技术。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:基于模型的技术,用于未来对关键实时软件系统的形式验证的集成