Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 6 X posts from 3 X users, with an upper bound of 1,316 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

Check my article for TACAS 2022 [https://t.co/Pu5pOwNKYU] about Maximizing Branch Coverage https://t.co/1XOmLCdvIu

A Probabilistic Logic for Verifying Continuous-time Markov Chains https://t.co/fP7xUw4x61

A Probabilistic Logic for Verifying Continuous-time Markov Chains https://t.co/fP7xUwmGk9

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

Click here to find out how to access more activity, including 2 additional X posts.