基于时钟约束建模语言CCSL的实时嵌入式系统形式化验证与分析

61872146
2018
F0201.计算机科学的基础理论
张民
面上项目
教授
华东师范大学
63万元
实时嵌入式系统;模型驱动开发;调度规划;约束求解;时钟约束描述语言
2019-01-01到2022-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks 会议论文 Xingwu Guo;Wenjie Wan;Zhaodi Zhang;Min Zhang;Fu Song;Xuejun Wen
2 Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications Using Reinforcement Learning 会议论文 Ming Hu;Jiepin Ding;Min Zhang;Frederic Mallet;Mingsong Chen
3 Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation 会议论文 Yiting Wu;Min Zhang
4 Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint 会议论文 Gao Fei;Mallet Frederic;Zhang Min;Chen Mingsong
5 一种操作系统规范形式化验证与测试方法 专利 郭建;朱晓冉;张民
6 Automatic analysis of consistency properties of distributed transaction systems in maude 会议论文 Liu Si;Ölveczky Peter Csaba;Zhang Min;Wang Qi;Meseguer José
7 An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems 会议论文 Xiaotong Chi;Min Zhang;Xiao Xu
8 Automating consistency verification of safety requirements for railway interlocking systems 会议论文 Chen Xiaohong;Zhong Zhiwei;Jin Zhi;Zhang Min;Li Tong;Chen Xiang;Zhou Tingliang
9 Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study 会议论文 Xudong Tang;Qiang Wang;Weikai Miao
10 SMT-based bounded schedulability analysis of the clock constraint specification language 会议论文 Zhang Min;Song Fu;Mallet Frédéric;Chen Xiaohong
11 Efficient LTL Model Checking of Deep Reinforcement Learning Systems using Policy Extraction 会议论文 Peng Jin;Yang Wang;Min Zhang
12 An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems 奖励 Xiaotong Chi;Min Zhang;Xiao Xu
13 KUPC: A formal tool for modeling and verifying dynamic updating of C programs 会议论文 Qian Jiaqi;Zhang Min;Wang Yi;Ogata Kazuhiro
14 Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning 会议论文 Peng Jin;Jiaxu Tian;Dapeng Zhi;Xuejun Wen;Min Zhang
15 Fine-Grained Neural Network Abstraction for Efficient Formal Verification 会议论文 Zhaosen Wen;Min Zhang;Weikai Miao
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享