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
摘要
SLAM is a program-analysis engine used to check if clients of an API follow the API's stateful usage rules.