LIASAS is a small research project aimed at creating a tool capable of describing indexed automata strengtened by action semantics, and applying algorithms on them.
For instance, this tool should be able to determine whether two ASIA are compatible, combine them if it is the case, and output TLA+ code.
Use Patent Claims
Include Install Instructions
These details are provided for information only. No information here is legal advice and should not be used as such.