• DOI:10.1007/978-3-030-40914-2_10
Corpus ID: 198901467

State Identification for Labeled Transition Systems with Inputs and Outputs

@article{Bos2019StateIF,
  title={State Identification for Labeled Transition Systems with Inputs and Outputs},
  author={Petra van den Bos and F. Vaandrager},
  journal={ArXiv},
  year={2019},
  volume={abs/1907.11034}
}

Petra van den Bos, F. Vaandrager

Published 2019

Computer Science

ArXiv

For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely used, e.g., to check conformance of protocol implementations, its applicability is limited by restrictions of the FSM framework: the fact that inputs and outputs alternate in an FSM, and outputs are fully determined by the previous input and state. Labeled Transition Systems with inputs and outputs (LTSs), as studied… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed