Conformance Relations between Input/Output Languages

Robert Sachtleben 📧

September 1, 2023

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

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

Related publications

Session IO_Language_Conformance

Cite

× 
@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