Thanks for your response ..
I am asking about just the coding of a linear temporal logic formula ..
Well there is no specific formula just I need instructions on how to code such formulas in Java (creating a class that holds an LTL formula)..
Yes I know the coding in general .. I will appreciate your help in this if you can ..
The mathematical notations in this are not hard to understand they are all about diamonds and boxes, you will understand them if you just check the wikipedias explaining these notations
an example of LTL formula might be :
p -> !q
You may have a day as I need it tomorrow night ..
Thanks a lot ..
Okey, thanks ..