A simple tool to test various temporal properties on page attributes. See Linear Temporal Logic on wikipedia for more details
This repository has been archived by the owner on Apr 13, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
WebMole/Linear-Temporal-Logic-Monitor
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A tool to test temporal properties on page attributes using formal notation to express constraints along a sequence of states
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published