Behavior.jl. Tool for Behavior Driven Development in Julia
behaviour. Grakn's Formal Verification System
