搜索页_Hoare+logic

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

Springer电子图书(7)

SpringerLink电子期刊(216)

ProQuest学位论文(8)

Elsevier电子期刊(95)

在“SpringerLink电子期刊”中，命中：216条，耗时：小于0.01 秒

在所有数据库中总计命中：326条

1. Completeness of Hoare Logic Relative to the Standard Model

关键词：Hoare logic ; Peano arithmetic ; Arithmetical hierarchy ; The standard model ; Relative completeness

刊名：Lecture Notes in Computer Science

出版年：2017

2. A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs

关键词：Tagged Hoare Logic ; Dynamic typing ; Pure object ; orientation ; Program verification ; Axiomatic semantics ; Soundness ; Relative completeness ; Multiple notions of correctness ; Completeness for total correctness

刊名：Lecture Notes in Computer Science

出版年：2016

3. Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic

刊名：Lecture Notes in Computer Science

出版年：2017

4. Reasoning about actions with loops via Hoare logic

作者： Jiankun He ; Xishun Zhao

关键词：action language ; plan generation ; plan verification ; loop ; plan ; Hoare logic

刊名：Frontiers of Computer Science in China

出版年：2016

5. The M-computations induced by accessibility relations in nonstandard models M of Hoare logic

作者： Cungen Cao ; Yuefei Sui ; Zaiyue Zhang

刊名：Frontiers of Computer Science in China

出版年：2016

6. Automated Proofs of Block Cipher Modes of Operation

作者： Martin Gagné ; Pascal Lafourcade ; Yassine Lakhnech…

关键词：Automated verification ; Hoare logic ; Provable cryptography ; Symmetric encryption ; Block cipher

刊名：Journal of Automated Reasoning

出版年：2016

7. Proving Reachability-Logic Formulas Incrementally

刊名：Lecture Notes in Computer Science

出版年：2016

8. Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs

刊名：Lecture Notes in Computer Science

出版年：2016

9. Combining Formal and Informal Methods in the Design of Spacecrafts

关键词：Spacecraft ; Lunar lander ; Simulink/Stateflow ; formal methods ; hybrid systems

刊名：Lecture Notes in Computer Science

出版年：2016

10. Quicksort Revisited

关键词：Automated verification ; Algorithms ; Quicksort ; Program transformation

刊名：Lecture Notes in Computer Science

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(216)

题名(34)

关键词(28)

文摘(194)

按出版年细分(216)

2017年(2)

2016年(16)

2015年(18)

2014年(14)

2013年(19)

2012年(16)

2011年(4)

2010年(15)

2009年(12)

2008年(22)

2007年(25)

2006年(16)

2005年(17)

2004年(6)

2003年(3)

2002年(6)

2001年(2)

2000年及以前(3)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700