Joral Technologies Inc.


Call Now: (877) 380 3366
Fax: (877) 838 7712
twitter log 32linkedin log 32

Astrée Datasheet

Thursday, 23 March 2017 19:12

Astrée is a parametric static analyzer designed to prove the absence of runtime errors
and data races in software programs written in C. Astrée is parameterizable and can be
specialized to the program under analysis – key features to enable high analysis precision.

Our Location


Joral Technologies Inc
4322 Donnelly Rd.
Ottawa, Ontario
K0G 1J0 Canada

Tel: 877-380-3366, Mail:

Joral Technologies Inc
39555 Orchard Hill Place Suite 600
Novi Michigan
48375 USA

Tel: 877-380-3366, Mail:

Joomla! Debug Console


Profile Information

Memory Usage

Database Queries