Jiménez Martí, Alejandro(Universitat Politècnica de València, 2023-09-27)
[EN] This project describes the extension effort of PLEXIL5, a PLEXIL formal interpreter specified in the rewriting logic engine Maude, to achieve higher degrees of correctness and completeness with respect to the PLEXIL ...