Behavior specification for Gavel, validator of HTTP transactions
Validator of HTTP messages (JavaScript implementation)