[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

tlaplus response

Hello Sir,
I am a B.Tech 4th year student of JIIT Noida Sec-62.
I have studied about the tla toolbox and i am interested in creating a
new application with tla or modifying the tla tool.
I know that all the formal methods have been completed.
So can you please  guide me that what new creation i can do with tla.
I will be Thankful to you.

Thanks & Regards,
Neha Singh