Up – Package index » Soteria Documentation » Library soteria » Soteria » Logic

Module `Soteria.Logic`

Separation logic assertions

Soteria Documentation
- CHANGELOG
- README
- Soteria Symbolic Execution Tutorial
- Soteria Logging Tutorial
- Soteria Statistics Tutorial
- sym_state_ppx
- Library ppx_symex
  - Ppx_symex
- Library soteria
  - Soteria
- Sources

module Make (Symex : Symex.Base) : sig ... end