Skip to content
STIMSMITH

VAMOS microkernel

Tool

VAMOS is a verified microkernel developed in the German Verisoft and VerisoftXT research projects. In the Verisoft architecture, it belongs to the system software layer and provides infrastructure for memory virtualization, hardware-device communication, processes, and synchronous message-passing IPC.

First seen 5/26/2026
Last seen 5/26/2026
Evidence 2 chunks
Wiki v1

WIKI

Overview

VAMOS is a microkernel developed and verified in the context of the German research projects Verisoft and VerisoftXT. The same context also developed and verified the Verified Architecture Microprocessor (VAMP). The Verisoft project aimed at pervasive formal verification of computer systems from application software down to silicon-level hardware design. [VAMOS development context]

Role in the Verisoft architecture

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

1 connections
Verisoft project part of → 100% 1e
VAMOS was developed and verified in the Verisoft project.

CITATIONS

5 sources
5 citations — click to expand
[1] VAMOS development context Test Program Generation for a Microprocessor: A Case Study
[2] VAMOS in Verisoft architecture Test Program Generation for a Microprocessor: A Case Study
[3] User processes on VAMOS Test Program Generation for a Microprocessor: A Case Study
[4] VAMOS services Test Program Generation for a Microprocessor: A Case Study
[5] VAMOS and VAMP context Test Program Generation for a Microprocessor: A Case Study