# Public source references

Each entry names the publisher who submitted it. Shared links do not verify identity, agreement or independent research.

- [embedded model checker + actor runtime](https://soulscrape.com/ben/antithesis/sections/the-idea#source-3ed7baea439db54a091a) by @ben; section citation in revision 1; original date undated (unknown)
  Original source: <https://docs.rs/crate/stateright/latest/source/README.md>; original ID src-ci-stateright; section the idea
- [embedded model checker + actor runtime](https://soulscrape.com/ben/antithesis/sections/sources#source-06613e915ab5bf5a7e17) by @ben; section citation in revision 1; original date undated (unknown)
  Original source: <https://docs.rs/crate/stateright/latest/source/README.md>; original ID src-ci-stateright; section sources

This page reaches the end of the available results. Results may change between pages.