OUR PRODUCTS
Astrée
Manufacturer: AbsInt
Product Name: Astrée
Product Description: Astrée is a static code analyzer that proves the absence of runtime errors and invalid concurrent behavior in safety-critical software written or generated in C or C++.
License Type: Base license (floating)- 1 analyzer token,- 2 client tokens
Part Number: Astree-BL
Manufacturer: AbsInt
Product Name: Astrée
Product Description: Astrée is a static code analyzer that proves the absence of runtime errors and invalid concurrent behavior in safety-critical software written or generated in C or C++.
License Type: Cloud license (floating)- 1 analyzer token,- 2 client tokens
Part Number: Astree-Cloud
For more info:
ROBERT CAMPBELL
(613) 215-3252
sales@joraltechnologies.com
StackAnalyzer
Manufacturer: AbsInt
Product Name: StackAnalyzer PowerPC 64-bit
Product Description: StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. It lets you find any stack overflows, or formally prove the absence thereof.
License Type: Node-locked
Part Number: StackAnalyzer-64-bit-NL
Manufacturer: AbsInt
Product Name: StackAnalyzer PowerPC 32-bit
Product Description: StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. It lets you find any stack overflows, or formally prove the absence thereof.
License Type: Node-locked
Part Number: StackAnalyzer-32-bit-NL
For more info:
ROBERT CAMPBELL
(613) 215-3252
sales@joraltechnologies.com
TimeWeaver
Manufacturer: AbsInt
Product Name: TimeWeaver PowerPC 32-bit
Product Description: aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account.
License Type: Node-locked
Part Number: TimeWeaver PowerPC 32-bit
Manufacturer: AbsInt
Product Name: TimeWeaver PowerPC 32-bit FL
Product Description: aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account.
License Type: Floating Two Token
Part Number: TimeWeaver PowerPC 32-bit-FL
Manufacturer: AbsInt
Product Name: TimeWeaver PowerPC 32-bit NL
Product Description: aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account.
License Type: Cloud Two Token
Part Number: TimeWeaver PowerPC-32-bit-Cloud
For more info:
ROBERT CAMPBELL
(613) 215-3252
sales@joraltechnologies.com
TimingProfiler
Manufacturer: AbsInt
Product Name: TimingProfiler PowerPC 64-bit
Product Description: StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. It lets you find any stack overflows, or formally prove the absence thereof.
License Type: Node-locked
Part Number: TimingProfiler-64-bit-NL
For more info:
ROBERT CAMPBELL
(613) 215-3252
sales@joraltechnologies.com
StackAnalyzer
Manufacturer: AbsInt
Product Name: StackAnalyzer PowerPC 64-bit
Product Description: StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. It lets you find any stack overflows, or formally prove the absence thereof.
License Type: Node-locked
Part Number: StackAnalyzer-64-bit-NL
Manufacturer: AbsInt
Product Name: StackAnalyzer PowerPC 32-bit
Product Description: StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. It lets you find any stack overflows, or formally prove the absence thereof.
License Type: Node-locked
Part Number: StackAnalyzer-32-bit-NL
For more info:
ROBERT CAMPBELL
(613) 215-3252
sales@joraltechnologies.com