Semantic Diff.       

links

Nishtha Madaan photoRonen Levy photo

Semantic Diff. - overview


Semantic diff is semantically comparing two functions (e.g. two pieces of code),that is, given the same inputs one can determine whether two different pieces of code will always give the same outputs. In case it is determined that the two pieces of code are not equivalent, one or more use cases will be provided to illustrate the discrepancy.Contrary to syntactic diff, semantic diff performs deep semantic analysis of the code using formal verification technology.This technology is being used by a large claim processing firm, which provides claim processing services to several medical insurance companies. The technology is being used to facilitate the safe and accurate migration of the system to ICD-10, the International Statistical Classification of Diseases and Related Health Problems standard of the World Health Organization.