Report on critical gaps in existing formal methods to capture computation in unconventional substrates

Summary
Report on critical gaps in existing formal methods to capture computation in unconventional substrates