AbsInt Angewandte Informatik GmbH

Manufacturer details

Contact image

AbsInt Angewandte Informatik GmbH

Science Park 1
66123 - Saarbrücken


Deutschland

Email: This email address is being protected from spambots. You need JavaScript enabled to view it.

Phone: 0049-681-38360-0

Fax: 0049-681-38360-20

http://www.absint.com

Tools from this manufacturer

1 2 3 4 5
Astrée Run-Time Error Analyzer

Astrée is a static program analyzer that proves the absence of run-time errors (RTE) in safety-critical embedded applications written or automatically generated in C.

Astrée analyzes structured C programs with complex memory usages, but without recursion or dynamic memory allocation. This targets embedded applications as found in earth trans­por­tation, nuclear energy, medical instrumentation, aeronautics and space flight, in particular syn­chro­nous control/command such as electric flight control.

Read more
1 2 3 4 5
Test

Test

Read more