A Decade of Software Model Checking with Slam

, &
Communications of the Acm 54 (7):68–76 (2011)
  Copy   BIBTEX

Abstract

SLAM is a program-analysis engine used to check if clients of an API follow the API’s stateful usage rules. © 2011 ACM.

Categories

Keywords

Reprint years

ISBN(s)

9781605580012

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,992

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

ELIZA—A Computer Program For the Study of Natural Language Communication Between Man And Machine.Joseph Weizenbaum - 1966 - Communications of the Acm 9 (1):36-45.
ELIZA—a computer program for the study of natural language communication between man and machine.Joseph Weizenbaum - 1966 - Communications of the Acm 9 (1):36--45.
James R. Slagle. Experiments with a deductive question-answering program. Communications of the ACM, vol. 8 , pp. 792–798. [REVIEW]David C. Cooper - 1970 - Journal of Symbolic Logic 35 (4):596.
Book Review: The Trouble With Computers by Thomas K. Landauer. [REVIEW]Rónán Kennedy - 1997 - Acm Sigcas Computers and Society 27 (2):38-39.
Martin Davis, George Logemann, and Donald Loveland. A machine program for theorem-proving. Communications of the ACM, vol. 5 , pp. 394–397. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118.
The Hermeneutics of Poetry Slam: Play, Festival and Symbol.W. John Williamson - 2015 - Journal of Applied Hermeneutics 2015 (1).
Propositions as Types.Philip Wadler - 2015 - Communications of the Acm 58 (12):75--84.
Undebuggability and cognitive science.Christopher Cherniak - 1988 - Communications of the Acm 31 (4):402-416.
Time to Reinspect the Foundations?Diane Proudfoot, Jack Copeland, Eli Dresner & Oron Shagrir - 2016 - Communications of the Acm 59 (11):34-38.
Robert McNaughton. Automata, formal languages, abstract switching, and computability in a Ph. D. computer science program. Communications of the ACM, vol. 11 (1968), pp. 738–740, 746. [REVIEW]Ann S. Ferebee - 1970 - Journal of Symbolic Logic 34 (4):656-656.

Analytics

Added to PP
2023-09-18

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references