Towards Validated HTTP Implementation

There are gazilion HTTP implementations around the World, but how do we know they are correct?