Formal Methods

Overview of attention for book

Formal Methods

Springer International Publishing

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 6 BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning
Altmetric Badge

Chapter 23 Formal Verification of a JavaCard Virtual Machine with Frama-C
Altmetric Badge

Chapter 44 Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles

Attention for Chapter: Verifying Secure Speculation in Isabelle/HOL

Altmetric Badge

About this Attention Score

Average Attention Score compared to outputs of the same age

Mentioned by

twitter: 1 X user

Readers on

mendeley: 1 Mendeley

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

@ProfWoodward SCCS reading group was at 1pm. Matt gave a very cool talk on verifying fixes to spectre and spectre-like information flow attacks. Preview of his upcoming FM'21 paper with Brijesh: https://t.co/qZeNyPQxol

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity.

Formal Methods

Table of Contents

About this Attention Score

Mentioned by

Readers on