Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1. CTL Tool : CTL_Tool
2. LTL Tool : LTL_Tool
Could you please let me know how can I correctly verify if two CTL or two LTL formulae are equivalent using tools ?