00

A Complete Formal Semantics of x86-64 User-level Instruction Set Architecture

Paper ☆ WATCH ⎘ SHARE

First seen 9/5/2026

Last seen 9/5/2026

Evidence 2 chunks

01

NEIGHBORHOOD

4 nodes · 5 edges

graph · A Complete Formal Semantics of x86-64 User-level Instruction Set Architecture · depth=1

02

RELATIONSHIPS

3 connections

K framework uses → 80% 2e evidence

The complete formal semantics of x86-64 paper uses the K framework for encoding semantics.

Registered Report: Generating Test Suites for GPU Instruction Sets through Mutation and Equivalence Checking ← mentions 90% 1e evidence

The paper cites the complete formal semantics of x86-64 paper as related work.

x86 instruction set mentions → 95% 1e evidence

The paper provides complete formal semantics for the x86-64 instruction set.