An experience report on requirements reliability engineering using formal methods.

David Hamilton, Richard Covington, Alice T. Lee

Browse the full ISSRE paper archive.