Publication | Closed Access

Testing against a non-controllable stream X-machine using state counting

EngineeringVerificationState CountingFormal MethodsProcess ControlSystems EngineeringStreaming AlgorithmComputer ScienceFinite-state SystemFormal VerificationStream Processing