A decade of software model checking with SLAM 论文
2011Communications of the ACM引用 219
Software Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchFormal Methods in Verification
详细信息
- 发表期刊/会议
- Communications of the ACM
- 发表日期
- 2011-06-28
- 发表年份
- 2011
关键词
Software Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchFormal Methods in Verification
摘要
SLAM is a program-analysis engine used to check if clients of an API follow the API's stateful usage rules.