00

K framework

Tool ☆ WATCH ⎘ SHARE

First seen 9/5/2026

Last seen 9/5/2026

Evidence 2 chunks

01

NEIGHBORHOOD

3 nodes · 3 edges

graph · K framework · depth=1

02

RELATIONSHIPS

2 connections

A Complete Formal Semantics of x86-64 User-level Instruction Set Architecture ← 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 ← uses 80% 1e evidence

The paper mentions the K framework as an alternative source for executable models.