Salt – a systems language with Z3 theorem proving in the compiler