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
Øyvind Teig
Senior utviklingsingeniør, siv.ing. / Senior Development Engineer, M.Sc.
Autronica Fire and Security AS
Research and Development
UTC Building and Industrial Systems
Phone: +47 95961506
E-mail: oyvind.teig@xxxxxxxxxxxxxxxx, web:
www.autronicafire.no
www.teigfam.net/oyvind/home/
(Also tech-related)