中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共9条，第1-9条

帮助

条数/页：排序方式：
	Trace Abstraction Refinement for Solving Horn Clauses 期刊论文 OAI收割 COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 8, 页码: 1236-1251 Wang, WF; Jiao, L \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2016/12/09 Horn clauses trace abstraction refinement program verification solvability
	Symbolic termination analysis of solvable loops 期刊论文 OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2013, 卷号: 50, 页码: 28-49 Xu, Ming; Li, Zhi-Bin \| 收藏 \| 浏览/下载：31/0 \| 提交时间：2014/12/16 Program verification Termination analysis Polynomial loops Symbolic computation Quantifier elimination Real root bounds
	a sentence generation algorithm for testing grammars 会议论文 OAI收割 IEEE 33rd International Computer Software and Applications Conference, Seattle, WA, JUL 20-24, Zheng Lixiao; Wu Duanyi \| 收藏 \| 浏览/下载：29/0 \| 提交时间：2011/03/20 by-now folklore sentence generation algorithm complicated derivation structure context-free grammar testing error location grammar debugging length control mechanism user validation context-free grammars program debugging program testing program verification
	bounded model checking of actl formulae 会议论文 OAI收割 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Chen Wei; Zhang Wenhui \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/03/20 bounded model checking encoding method bounded model verification computation tree logic error-hunting encoding formal logic formal verification program debugging tree data structures
	generating algorithms plus loop invariants by formal derivation 会议论文 OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Du Dawei; Xue Jinyun \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/06/13 MergeSort algorithm formal development process formal specification insertion sort loop invariant nonrecursive algorithmic solution provably correct algorithmic program program control structures program verification sorting
	a mechanical approach for deriving algorithmic programs 会议论文 OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Xue Jinyun; Du Dawei \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/06/13 MPAR algorithm correctness automatic algorithm design executable language program formal algorithm program derivation mechanical partition-and-recur approach problem specification software reliability formal specification program verification software rel
	generating polynomial invariants with discoverer and qepcad 会议论文 OAI收割 Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25, Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/06/29 program verification invariant generation polynomial programs semi-algebraic systems quantifier elimination DISCOVERER QEPCAD
	computing invariants for parameter abstraction 会议论文 OAI收割 ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN Lv Yi; Lin Huimin; Pan Hong \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/06/29 cache coherence protocols combining invariants computing data consistency error guard strengthening methods parameter abstraction parameterized model checking transition rules abstract data types cache storage data integrity program verification
	Average cost optimal policy for a stochastic two-machine flowshop with limited work-in-process 期刊论文 OAI收割 NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2001, 卷号: 47, 期号: 8, 页码: 5671-5678 作者: Presman, EL; Sethi, SP; Zhang, H; Bisi, A; Bisi, D \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2018/07/30 work-in-process stochastic dynamic program Hamilton-Jacobi-Bellman equation verification theorem