Analyzing formal requirements specifications using an off-the-shelf model checker.

Gastn Scilingo, Mara Marta Novaira, Renzo Degiovanni, Nazareno Aguirre

Browse the full CLEI paper archive.