Checking correspondance between specification and concrete its implementation.
Updated by Mikhail Chupilko almost 14 years ago ยท 1 revisions