Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language.

Ezequiel Jos Veloso Ferreira Moreira, Jos Creissac Campos

Browse the full EICS paper archive.