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.


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.


BSD License


Related publications

Session IO_Language_Conformance