https://catalogue-scientifique.canada.ca/record=2161016~S6*frc
naval research lab washington dc center for high assurance computing systems (chacs), 1996
This article describes a formal analysis technique, called consistency checking, for automatic detection of errors, such as type errors, nondeterminism,...
Publication gouvernementale