Model Checking Early Requirements Specifications in Tropos.

Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso

Browse the full RE paper archive.