00

Averroes

Tool ☆ WATCH ⎘ SHARE

First seen 6/9/2026

Last seen 6/9/2026

Evidence 2 chunks

01

NEIGHBORHOOD

5 nodes · 5 edges

graph · Averroes · depth=1

02

RELATIONSHIPS

4 connections

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

The paper discusses Averroes as related work and compares its approach.

AVR ← derived from 100% 1e evidence

AVR is descended from prior work on Averroes.

self-equivalence with don't-cares evaluates → 100% 1e evidence

Averroes is used to verify the self-equivalence with don't-cares (SEQX) property.

Cortex M0+ evaluates → 100% 1e evidence

Averroes is used for a case study on the Cortex M0+ processor.