Conformance Relations between Input/Output Languages

Robert Sachtleben 📧

September 1, 2023

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