Stochastic Contracts for Runtime Checking of Component-based Real-time Systems

Chandrakana Nandi, Aurelien Monot, Manuel Oriol

This paper introduces a new technique for dynamic verification of component-based real-time systems based on statistical inference. Verifying such systems requires checking two typ…