logo
Redian新闻
>未名空间
>Security - 系统安全
>
[转载] 有没有做model checking的？
avatar
[转载] 有没有做model checking的？# Security - 系统安全
y*e
1 楼
【 以下文字转载自 THU 讨论区 】
【 原文由 yjlspace 所发表 】
我对这个方向比较感兴趣，最近在看Ed. Clarke的
<>还有一些新的paper。
不过看来看去一头雾水，理不清个头绪。这个方向
似乎已经发展的很成熟了，但是在实际中应用的还
是很少。不知道这个方向尚未解决的问题都有哪些？
前景如何？还请前辈多多指点！
avatar
d*e
2 楼
performance叭.

【在 y******e 的大作中提到】
: 【 以下文字转载自 THU 讨论区 】
: 【 原文由 yjlspace 所发表 】
: 我对这个方向比较感兴趣，最近在看Ed. Clarke的
: <>还有一些新的paper。
: 不过看来看去一头雾水，理不清个头绪。这个方向
: 似乎已经发展的很成熟了，但是在实际中应用的还
: 是很少。不知道这个方向尚未解决的问题都有哪些？
: 前景如何？还请前辈多多指点！
相关阅读
【求助】Office和浏览器打开就stopworking有人知道dreamhost.com这个网站么，关于信用卡被盗刷的问题[原创]利用QQ视频骗国外童鞋的国内家人请帮选个电脑 都是bestbuy的 谢谢linux下AVG之类的杀毒软件能杀windows的病毒吗？ (转载)qq 第二次视频没声音，可是防毒软件做什么了，怎么办怎么干掉HDD defragment? (包子答谢)问个gmail的问题大牛们呐，帮个忙吧！急！求助！硬盘分区丢失，变成unallocated在域管理中直接disable某一域用户，这个用户立刻会在桌面上被强行登出吗？请教Office 2007怎么解密，否则只能使用25次Kaspersky Internet Security 2010 3-User @ $19.99在美国从freakshare这样的网盘上下载别人上传的东西合法吗？spywareHELP!! "Antivirus Antispyware 2011" infection我的网站感染了病毒？ (转载)弱弱地问Windows 7如何进入安全模式？Microsoft Security Essentials谁可以HACK EMAIL
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章，不代表同意其说法或描述，仅为提供更多信息，也不构成任何建议。文章信息的合法性及真实性由其作者负责，与Redian.news及其运营公司无关。欢迎投稿，如发现稿件侵权，或作者不愿在本网发表文章，请版权拥有者通知本网处理。