• 已选条件：
 全选  【符合条件的数据共：11条】

1 Model Stack for the Pervasive Verification of a Microkernel-based Operating System [会议论文]

作者:Matthias Daum, Jan Dörrenbächer, Sebastian Bogan

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：2  ]    

2 Precise Dynamic Verification of Confidentiality [会议论文]

作者:Gurvan Le Guernic

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：2  ]    

3 Bitfields and Tagged Unions in C – Verification through Automatic Generation [会议论文]

作者:David Cock

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：1  ]    

4 Operating System Verification for Real Use [会议论文]

作者:Gernot Heiser

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：1  ]    

5 5th International Verification Workshop –VERIFY’08 [会议论文]

作者:Bernhard Beckert, Gerwin Klein

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：1  ]    

6 Exploring Model-Based Development for the Verification of Real-Time Java Code [会议论文]

作者:Niusha Hakimipour, Paul Strooper, Roger Duke

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]