0
喜欢
0
书签
声明论文
A Proof Obligation Generator for VDM-SL   
摘  要:   . In this paper an extension of the IFAD VDM-SL Toolboxwith a proof obligation generator is described. Static type checking inVDM is undecidable in general and therefore the type checker must beincomplete. Hence, for the "difficult" parts introducing undecidability,it is up to the user to verify the consistency of a specification. Insteadof providing error messages and warnings, the approach of generatingproof obligations for the consistency of VDM-SL specifications is taken.The overall...
发  表:   World Congress on Formal Methods  1997

论文统计图
共享有6个版本
 [展开全部版本] 

Bibtex
创新指数 
阅读指数 
重现指数 
论文点评
还没有人点评哦

Feedback
Feedback
Feedback
我想反馈:
排行榜