Email Gateway (Oct 11 2023 at 05:57): Email Gateway (Oct 11 2023 at 05:57):From: Gerwin Klein <cl-isabelle-users@lists.cam.ac.uk>
Conformance Relations between Input/Output Languages
by Robert Sachtleben
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.
https://www.isa-afp.org/entries/IO_Language_Conformance.html
Enjoy!
Gerwin
Last updated: Apr 28 2024 at 20:16 UTC