A Decade of Software Model Checking with SLAM
SLAM is a program-analysis engine used to check if clients of an API follow the API's stateful usage rules.
A Decade of Software Model Checking with SLAM
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved