symbolic model

Abstract symbol tables are to abstract the underlying memory of programs, and the approach of generation of abstract addresses and the algorithm of symbolic execution using the abstract symbol table-based memory model are presented.

研究了使用抽象符号表建立内存模型的方法，给出了抽象地址生成方法以及符号执行算法。

The abstract symbol table-based memory model can overcome main problems of memory models for symbolic execution very well, including the problem of pointer and aliasing, type-unsafe memory accesses and data without concrete size.

基于抽象符号表的内存模型能够很好地解决面向符号执行的内存模型面临的主要问题，包括指针和别名问题、类型不安全的内存访问和大小不确定的数据。

This paper gives a symbolic model checking algorithm for the temporal logic CTL~.

提出了一个关于时态逻辑CTL的符号化模型检测算法。

The causal model integrating symbolic structural knowledge and numeric measures of uncertainty benefits the solving of multi-membership classification problem and the expression of indeterministic causation.

为处理不确定性推理、多类别判别问题并合理整合先验和后验知识，在数据融合系统中引入了因果连接模型。

According to our algorithm, we had implemented a new CTL~ symbolic model checker ( MCTK) by means of OBDD and obtained some experimental results.

根据该理论，作者已实现了一个基于OBDD技术的CTL符号化模型检测工具MCTK，并完成了相当数量的实验。

Symbolic Model Checking for CTL

符号化模型检测CTL

Symbolic Model Checking Analysis for Electronic Contract Signing Protocol

电子合同签订协议的符号模型检验分析

The proposed abstract symbol table-based memory model will make positive influence on the research and application of symbolic execution.

本文提出了基于抽象符号表的内存模型，对符号执行技术的发展和应用有一定的积极意义。

Study on Cooperative Innovation Feat's Symbolic Logic Model of U/ I Knowledge Alliance

U/I知识联盟协同创新绩效的数理分析模型

Symbolic Model Checking for Digital Circuit Design

数字电路设计中的符号模型检验技术

As a result of that fortuitous model-room experiment, I shifted my focus from memory to symbolic thinking.

就这样，我在模型屋计画邂逅的发现，让我改变了研究焦点，从记忆转向象徵思惟。