Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool
ISSTA, pp. 352-355, 2017.
Systems that interact with the physical world use software that represents and manipulates physical quantities. To operate correctly, these systems must obey the rules of how quantities with physical units can be combined, compared, and manipulated. Incorrectly manipulating physical quantities can cause faults that go undetected by the ty...More
Full Text (Upload PDF)
PPT (Upload PPT)