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

news: 2 news outlets
twitter: 22 X users

wikipedia: 2 Wikipedia pages

Citations

dimensions_citation: 2 Dimensions

Summary News X Wikipedia Dimensions citations

So far, Altmetric has seen 26 X posts from 22 X users, with an upper bound of 80,651 followers.

The research paper I mention was BTW this. Among other things it describes on how we exploit borrow semantics to eliminate aliasing. Something Rust verifiers could learn from... https://t.co/wXiuyzHknX

10 Feb 2024

Reply Repost Favourite

Property Directed Reachability for Generalized Petri Nets https://t.co/uAqUmSHJfC

08 Aug 2022

Reply Repost Favourite

NeuReach : Learning Reachability Functions from Simulations https://t.co/rTqewBHSTW https://t.co/uSR7V7sK4M

28 Apr 2022

Reply Repost Favourite

RT @hanielmbarbosa: And we got the best tool paper award for it! :D https://t.co/uGKkCZx5WJ

06 Apr 2022

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, including 22 additional X posts.

Tools and Algorithms for the Construction and Analysis of Systems

Table of Contents

Mentioned by

Citations