I have some work that I need doing on a State Diagram, Computation Tree Logic and Linear Temporal Logic. If you have experience please get in contact. I have plenty of work available in different areas if you can go this task.
Hi, I know well computation methods of tree logic and linear temporal logic.
Commonly, in computation of tree logic, it needs recursive function.
I'll help you.