CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems.

Uraz Odyurt, mer Sayilir, Marille Stoelinga, Vadim Zaytsev

Browse the full SLE paper archive.