位置：立项数据库 > 立项详情页
软件形式化方法
  • 项目名称：软件形式化方法
  • 项目类别：创新研究群体科学基金
  • 批准号：60421001
  • 申请代码：F0201
  • 项目来源：国家自然科学基金
  • 研究期限：2005-01-01-2007-12-31
  • 项目负责人：林惠民
  • 负责人职称：研究员
  • 依托单位：中国科学院软件研究所
  • 批准年度：2004
中文摘要：

中文主题词形式化方法,并发实时系统理论,模型检测,程序分析与测试

中文主题词：
英文摘要：

Formal methods, Theories for c

英文主题词： Formal methods, Theories for c
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 36
  • 33
  • 0
  • 0
  • 2
期刊论文
Handling Synchronization Probl
On an Open Problem of Amadio a
Model-Based Testing of Concurr
约束求解与优化技术的结合
并发Java程序同步操作的有效删除
Property-preserving Compositio
UML活动图的时序逻辑语义
Model Checking Data Consistenc
Compositional Verification for
Eigenvariables, bracketing and
Refining and verifying a class
多线程程序数据竞争的静态检测
一种求解混合约束问题的快速完备
基于约束的主动规则终止性分析
Symbolic Test Generation Using
Computing along the axon
Deriving Non-determinism from
On String Languages Generated
约束问题求解
Symbolic Model Checking of Fin
The inductive approach to stra
Combining search space partiti
基于迁移的扩展Buchi自动机到Buc
A note on the characterization
Structure of Proofs and the Co
Facilitating formal specificat
Linear Tabling Strategies and
有限精度时间自动机的可达性检测
基于共享位置的Petri网系统综合与保性
有限精度时间自动机的时钟表示
从基于迁移的扩展Büchi自动机到Büchi自动机
直觉线性μ-演算
会议论文
Compositionality of Fixpoint L
Connecting algebraic and logic
Logic Programs with Abstract C
Generating Polynomial Invarian
A model of component-based pro
Improvements for the Symbolic
Deriving a Stationary Dynamic
Extending the Strand Space Met
Discovering Non-Linear Ranking
Partition Refinement in Abstra
Towards a theory of component
What Semantic Equivalences are
A Generalized Gelfond-Lifschit
Compositional analysis for reg
Finding Relations Among Linear
Program verification by using
LTL Model Checking via Search
上下文无关文法的句子生成方法综
Model Checking with SAT-based
A Semantic Preorder on Refinem
Mechanized proofs for the Para
Computing Invariants for Param
Computing along the axon
A Test Data Generation Tool fo
Backtracking Algorithms and Se
Partitioning A boxes Based on
Efficient State Space Reductio
SAT-Based Verification of LTL
On trace languages generated b
Verification of ACTL Propertie
Evaluation of SAT-based Bounde
Generalized Unsolicited Tests
Towards practical computable f
著作
An Improved Case-Based Approac
Enhancing Simulation for Check
林惠民的项目
程序模块理论研究
资助优秀实验室国际合作
理论计算机与软件基础研究中的前沿科学问题
程序设计语言基础的当前趋势--演算和博奕
范型(Paradigm)统一化问题
软件基础研究中的若干前沿问题
期刊论文 12
模型检测的理论、技术与工具
期刊论文 5
中美欧软件基础研究研讨会
消息传送进程的代数理论
期刊论文 1 获奖 2 著作 1
带递归π-演算的证明系统
传值并发系统的语义模型与验证工具
软件形式化方法
期刊论文 27 会议论文 49