Isabelle/UTP

An ecosystem for building verification tools based on Unifying Theories of Programming