ASTREE

Details of ASTREE

ASTREE- A static analyzer analyzes reactive, critical, real-time programs written in the C programming language and looks for runtime errors.

Libraries