Phys: probabilistic physical unit assignment and inconsistency detection
ESEC/SIGSOFT FSE, pp. 563-573, 2018.
Program variables used in robotic and cyber-physical systems often have implicit physical units that cannot be determined from their variable types. Inferring an abstract physical unit type for variables and checking their physical unit type consistency is of particular importance for validating the correctness of such systems. For instan...More
Full Text (Upload PDF)
PPT (Upload PPT)