2009年第9届FMCAD:美国德克萨斯州奥斯汀

优化列表

显示全部 ??记录

模型检查

软件验证

可满足性模理论

游戏

定量推理

假设担保推理

等价性检验

调试

案例研究和大规模验证

合成

服务莱布尼茨信息中心(Schloss Dagstuhl)