We did a global framework to provide Public Certification for the road transportation laws that regulate the hours of service of drivers, providing software solutions that are formally verified with respect to our formal specification and publicly certified to make them accessible to lawmakers and drivers. This framework can unify the laws currently in force in many countries: USA, Canada, Europe, Brazil, etc.