Skip to content
STIMSMITH

OCaml executable code

CodeArtifact
First seen 8/11/2026
Last seen 8/11/2026
Evidence 3 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

3 connections
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors ← uses 100% 2e
The paper uses Lem to generate executable OCaml code from the mathematical model.
web interface for model exploration implements → 90% 2e
The OCaml code is combined with web interfaces for model exploration.
exhaustive behaviour exploration implements → 90% 1e
The generated OCaml code enables exhaustive exploration of model behaviours.