Hoang-Dung Tran, Tianshu Bao, Taylor T. Johnson. Discrete-Space Analysis of Partial Differential Equations. In Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson, editors, ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. Volume 54 of EPiC Series in Computing, pages 185-195, EasyChair, 2018.