Acknowledgement

I would like to thank David Baelde for many useful correspondences regarding the implementation of the Bedwyr system, and Quentin Heath for many improvements to the Bedwyr proof engine used to implement SPEC This project received/has been receiving support from the following funding sources at various stages of the project:
  • MoE Tier 2 grant MOE2014-T2-2-076. (2015-2018)
  • NTU Start-up Grant M408.1190.020 (2013-2016)
  • The Australian Research Council Discovery Project DP0880549 and DP110103173. (2008-2012).