00

AVR

Tool ☆ WATCH ⎘ SHARE

First seen 6/9/2026

Last seen 6/9/2026

Evidence 2 chunks

01

NEIGHBORHOOD

3 nodes · 3 edges

graph · AVR · depth=1

02

RELATIONSHIPS

2 connections

Averroes derived from → 100% 1e evidence

AVR is descended from prior work on Averroes.

rtlv: push-button verification of software on hardware ← compares with 80% 1e evidence

The paper discusses AVR as related work in the context of formal verification.