Parametric equations for temporal style assertions
Logic in Computer Science
2026-01-16 v3
Abstract
Temporal logic provided an appealing approach to specifying properties of operating systems and other "reactive" software by allowing propositions to be qualified by "when" they must be true. This paper shows how to get the same effect, with a finer control over specification and a compositional notion of state, using ordinary working mathematics, without the weight of formal logic, by using sequential functions which are an alternate representation of Moore type state machines.
Keywords
Cite
@article{arxiv.1612.01630,
title = {Parametric equations for temporal style assertions},
author = {Victor Yodaiken},
journal= {arXiv preprint arXiv:1612.01630},
year = {2026}
}