应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 计算模拟区 » 程序语言 » 其它 » 请各位解释下这些专业名词，以及主要的应用。program verification等
21/1返回列表
查看: 723  |  回复: 1
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

demon_xt

新虫 (小有名气)

[求助] 请各位解释下这些专业名词，以及主要的应用。program verification等

program verification， formal logic，type systems，
Types and Programming Languages
Model Checking
如果掌握这些，需要学习哪些知识呢？
谢谢大家！！
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2011-12-07 08:52:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

tyhjqxbz

主管区长 (文坛精英)

优秀版主优秀版主优秀版主优秀区长优秀版主优秀版主优秀版主

【答案】应助回帖

★
jjdg(金币+1): 感谢参与 2011-12-08 00:21:04
程序验证，形式逻辑，类型系统

类型和编程语言

模型检测

http://wenku.baidu.com/view/e2a1710d844769eae009ed71.html
赞一下(1人) 回复此楼
只为成功找方法，不为失败找借口——欢迎常到注册执考区
2楼2011-12-07 22:23:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 demon_xt 的主题更新
21/1返回列表
普通表情 龙 兔 虎 猫
信息提示
关闭
请填处理意见
关闭