Reference overview
This is the Reference section of TSA documentation. Here you can find out more details about various aspects of TSA usage.
Detectors
Description of errors that are found by TSA.
Inter-contract analysis
Aspects of analyzing several interacting contracts.
Strategies for stopping analysis
Description of strategies for stopping analysis when the analyzed contracts are too big to be analyzed fully.
Checker functions
Description of intrinsic functions one can make use of in checker contracts.