Logical characterisations, rule formats and compositionality for input-output conformance simulation

Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez +1

Input-output conformance simulation (iocos) has been proposed by Gregorio-Rodríguez, Llana and Martínez-Torres as a simulation-based behavioural preorder underlying model-based tes…