Phys: probabilistic physical unit assignment and inconsistency detection

ESEC/SIGSOFT FSE, pp. 563-573, 2018.

Cited by: 5|Bibtex|Views44|DOI:https://doi.org/10.1145/3236024.3236035
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|dl.acm.org

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments