Projects Tagged ‘runtime-verification’

Efficient runtime monitoring algorithm for tracking hierarchical relationships of objects.

A stream-based specification language for runtime verification of embedded systems.