concrete-summaries software on GitHub

Software OPEN SOURCE

A short paper on how to use pushdown analysis techniques for better precision in non-pushdown models.
Share - Bookmark