Specifying and Model Checking Workflows of Single Page Applications with TLA+

Gefei Zhang

Single Page Applications (SPAs) are different than hypertext-based web applications in that their workflow is not defined by explicit links, but rather implicitly by changes of the…