A Technique for Automata-based Verification with Residual Reasoning.

Shaun Azzopardi, Christian Colombo, Gordon J. Pace

Browse the full MODELSWARD paper archive.