Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book

Cover of 'Tools and Algorithms for the Construction and Analysis of Systems'

Table of Contents

Attention for Chapter: The Static Analyzer Infer in SV-COMP (Competition Contribution)

Altmetric Badge

Mentioned by

twitter: 1 X user

Readers on

mendeley: 1 Mendeley

So far, Altmetric has seen 1 X post from an account with 1,051 followers.

@2over124 But yeah, agreed on Infer. Whenever I see it used in an academic context (e.g., https://t.co/jSzCqqNkle and https://t.co/0bqW4iAjbc), it doesn't appear to perform particularly well

Reply Repost Favourite

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.