A tool to test temporal properties on page attributes using formal notation to express constraints along a sequence of states