Watchdog Transformations for Property-Oriented Model-Checking.

Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin

Browse the full FM paper archive.