Welcome to the TChecker wiki!

• Installation of TChecker
• TChecker input file format
• Using TChecker
• Implementing a reachability algorithm using TChecker libraries
• Zone graphs in TChecker

Arnab Sur has written a nice documentation that may help developpers understand the main concepts in the TChecker code base.