zbMATH中的参考文献（参考文献10条)

1. 布拉金，恰拉；莎莉吉娜，娜塔莎；Barone Adesi，Katerina:基于模型检查的移动系统安全策略验证方法（2011）
2. 查基，萨加尔；克拉克，埃德蒙；莎莉吉娜，娜塔莎；Sinha，Nishant:通过组件可替代性分析（2008）验证不断发展的软件
3. 查基，萨加尔；Strichman，Ofer:假设保证推理的三种优化方法（2008）
4. 查基，S。；克拉克，E。；基德，N。；重复次数，T。；Touili，T.：用递归调用验证并发消息传递C程序（2006）
5. 斯托克利，默里；查基，萨加尔；Ouaknine，Joël:软件模型检查中的并行任务（2006）
6. 查基，萨加尔；克拉克，埃德蒙；格鲁伯格，奥娜；瓦克宁，乔尔；莎莉吉娜，娜塔莎；土利，泰西尔；维思，赫尔穆特：分支时间规范的状态/事件软件验证（2005）
7. 查基，萨加尔；克拉克，埃德蒙；西尼亚，尼尚；Thati，Prasanna:模拟一致性的自动假设保证推理（2005）
8. 查基，萨加尔；艾弗斯，詹姆斯；莎莉吉娜，娜塔莎；Wallnau，Kurt:舒适推理框架（2005）
9. 克拉克，埃德蒙；丹尼尔·克罗宁；莎莉吉娜，娜塔莎；Yorav，Karen:SATABS:ANSI-C基于SATABS的谓词抽象（2005）
10. 库克，拜伦；丹尼尔·克罗宁；Sharygina，Natasha:Cogent:程序验证的精确定理证明（2005）