A simple tool to test various temporal properties on page attributes. See Linear Temporal Logic on wikipedia for more details
This repository was archived by the owner on Apr 13, 2021. It is now read-only.
WebMole/Linear-Temporal-Logic-Monitor
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|