bannerc

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

Live Template
templatetool


Show If
spacePermissionedit
Panel

6/29/2018 - Updates

  • Added to Description" Astrée is a static code analyzer that proves the absence of run­time errors and invalid con­current behavior in safety-critical software written or gen­er­ated in C."