First computable law formally verified
Worldwide Public Certification of Hours of Service of Drivers Laws and their
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.
Presentation of PCSS method and “Worldwide Public Certification of Hours of Service of Drivers Laws and their software “, in the 8th annual Tachograph Forum (European Commission )