While the formal framework using fixed-point semantics on explicit space-time fields is mathematically distinct, its practical realization in the thesis is firmly rooted in an outdated VLSI design context.

The critical review persuasively argues that the approach struggles with essential nondeterminism and non-steady-state behaviors common in modern systems...

...and that its complexity and lack of tooling has been surpassed by standard hardware description languages and specialized formal verification methods.

Consequently, applying this specific methodology to new domains appears less promising than using contemporary frameworks already equipped to handle these modern challenges.