A systematic approach to transforming system requirements into model checking specifications.

Daniel Aceituna, Hyunsook Do, Sudarshan Srinivasan

Browse the full ICSE paper archive.