Verifying Correct Usage of Context-Free API Protocols (Extended Version)

Kostas Ferles, Jon Stephens, Isil Dillig

Several real-world libraries (e.g., reentrant locks, GUI frameworks, serialization libraries) require their clients to use the provided API in a manner that conforms to a context-f…