hackage.haskell.org : SoOSiM
SoOSiM is a simulator developed for the purpose of exploring operating system concepts and operating system modules. The simulator provides a highly abstracted view of a computing system, consisting of computing nodes, and components that are concurrently executed on these nodes. OS modules are subsequently modelled as components that progress as a result of reacting to two types of events: messages from other components, or a system-wide tick event. Using this abstract view, a developer can quickly formalize assertions regarding the interaction between operating system modules and applications.
Registry
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/SoOSiM
Keywords:
bsd3
, library
, simulation
, Propose Tags
License: BSD-3-Clause
Latest release: over 13 years ago
First release: over 13 years ago
Dependent repositories: 1
Downloads: 2,772 total
Last synced: about 1 month ago