连续时间时序逻辑LTLC的公理化和可判定性研究
基本信息
批准号：60273025
项目类别：面上项目
资助金额：22.00
负责人：李广元
学科分类：
依托单位：中国科学院软件研究所
批准年份：2002
结题年份：2005
起止时间：2003-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：唐稚松,郭亮,朱雪阳
关键词：
公理化可判定性连续时间时序逻辑
结项摘要
随着嵌入式实时系统的广泛使用,其可靠性成为急待解决的严重问题,利用时序逻辑等形式化方法对其进行分析和验证,是确保其可靠性的一条极有希望的途径.LTLC是一个面向实时系统的连续语义时序逻辑,本项目将研究LTLC中与实时系统的形式化验证相关的几个问题;1各种语言子类的算法可判定性;2实时性质的验证规则;3公理化证明系统,
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
时间序列分析与机器学习方法在预测肺结核发病趋势中的应用
时间序列分析与机器学习方法在预测肺结核发病趋势中的应用
DOI：
发表时间：2020
2
常用哮喘动物模型的建立
常用哮喘动物模型的建立
DOI：10. 3969/ j.issn.1671-7856.
发表时间：2020
3
时间反演聚焦经颅磁声电刺激仿真与实验研究
时间反演聚焦经颅磁声电刺激仿真与实验研究
DOI：10.11684/j.issn.1000-310X.2021.03.010
发表时间：2021
4
抗泄露的(分层)身份基密钥封装机制
抗泄露的(分层)身份基密钥封装机制
DOI：10.11897/sp.j.1016.2021.00820
发表时间：2021
5
海南铜鼓岭鸭脚木种群动态特征研究
海南铜鼓岭鸭脚木种群动态特征研究
DOI：10.11931/guihaia.gxzw202001026
发表时间：2020
李广元的其他基金
批准号：60673051
批准年份：2006
资助金额：24.00
项目类别：面上项目
批准号：61472406
批准年份：2014
资助金额：80.00
项目类别：面上项目
相似国自然基金
1
基于不确定测度的定量时序逻辑的表示与可判定性研究
批准号：11671244
批准年份：2016
负责人：李永明
学科分类：A0602
资助金额：48.00
项目类别：面上项目
2
连续GPS时序与中国大陆现今地壳运动时间过程研究
批准号：40074024
批准年份：2000
负责人：吴云
学科分类：D0407
资助金额：18.00
项目类别：面上项目
3
时段时序逻辑的Petri网模型
批准号：60173012
批准年份：2001
负责人：林闯
学科分类：F0201
资助金额：21.00
项目类别：面上项目
4
框架时序逻辑程序设计
批准号：60433010
批准年份：2004
负责人：段振华
学科分类：F0203
资助金额：180.00
项目类别：重点项目