A formal analysis is a method for analyzing and describing game design. The formal analysis has been uses in various domains such as art and architecture.

Lankoski and Björk (2015). Formal Analysis of Gameplay. In: Lankoski and Björk (2015). Game Research Methods. ETC Press. Available at: http://press.etc.cmu.edu/index.php/product/game-research-methods/.