Date compliance can be viewed at three levels:
Basic compliance means that software or hardware performs all date operations correctly over the range of dates required for the application of the software.
Implementation compliance means that the software meets the criteria under basic compliance and adheres to implementation criteria below.
Formal compliance means that the software conforms to the criteria for implementation compliance and a formal proof exists that the date operations anywhere in the software are equivalent to those in DateBench.
.