Using Temporal Operators in a Test Environment

Quick-stream is a way to do property-based testing, but for say front-end web applications or JavaScript code. Instead of having a model that sort of replicates the actual system under test in a simplified manner, ideally you could instead have this temporal logic formula that specifies the system without perhaps being a full implementation. Quick-stream constantly communicates with the browser, introspects the browser to see what is the state and then it can evaluate from there.