Behavior specification for Gavel, validator of HTTP transactions - View it on GitHub