Umbrella project for a set of packages related to code verification in Elixir:
- SmtLib: a Z3 binding for Elixir in terms of SMT-LIB.
- Boogiex: an intermediate representation language for Elixir code verification inspired by Boogie.
- Verixir: a high level developer tool for Elixir code verification.
This project is related with an in progress master's thesis in Formal Methods, currently available here.