STATICALLY VERIFIABLE INTER-PROCESS-COMMUNICATIVE ISOLATED PROCESSES

摘要

Described herein are one or more implementations of an operating system that provides for statically verifiable inter-process communication between isolated processes (230, 240, and 250). Also, described herein are one or more implementations of programming tools that facilitate the development of statically verifiable isolated processes having inter-process communication.