### Abstract

This entry formalises the paper of the same name by Huang et al. and presents a unifying characterisation of well-known conformance relations such as equivalence and language inclusion (reduction) on languages over input/output pairs. This characterisation simplifies comparisons between conformance relations and from it a fundamental necessary and sufficient criterion for conformance testing is developed.

### License

BSD License

### Topics

- Computer science/Automata and formal languages

### Related publications

- Huang, W., & Sachtleben, R. (2023). Conformance Relations Between Input/Output Languages. Applicable Formal Methods for Safe Industrial Products, 49–67. https://doi.org/10.1007/978-3-031-40132-9_4

### Session IO_Language_Conformance

- Input_Output_Language_Conformance

## Cite

×

IO_Language_Conformance-AFP

    @article{IO_Language_Conformance-AFP,
      author  = {Robert Sachtleben},
      title   = {Conformance Relations between Input/Output Languages},
      journal = {Archive of Formal Proofs},
      month   = {September},
      year    = {2023},
      note    = {\url{https://isa-afp.org/entries/IO_Language_Conformance.html},
                 Formal proof development},
      ISSN    = {2150-914x},
    }

Download

## Download

× Download latest