I’d like to have this explained in 15 minutes: https://www.cs.ox.ac.uk/projects/fdr/manual/references.html#gmrwz03
Michael Goldsmith, Nick Moffat, A. W. Roscoe, Tim Whitworth, and Irfan Zakiuddin Watchdog Transformations for Property-Oriented Model-Checking. FME 2003: Formal Methods. LNCS vol. 2805.
Referred to in the FDR3 document https://www.cs.ox.ac.uk/projects/fdr/manual/cspm/prelude.html
Med vennlig hilsen / Best regards
Senior utviklingsingeniør, siv.ing. / Senior Development Engineer, M.Sc.
UTC Building and Industrial Systems
www.teigfam.net/oyvind/home/ (Also tech-related)