AbsInt – Qualification Form

___________________________________________________________________________

1. Company – Click or tap here to enter text.

2. Email Id – Click or tap here to enter text.

3. Contact Number – Click or tap here to enter text.

4. Project/Domain – Click or tap here to enter text.

5. Please provide the details for the following questions

5.1. aiT

Processor – Click or tap here to enter text.

Compiler – Click or tap here to enter text.

5.2. StackAnalyzer

Processor – Click or tap here to enter text.

Compiler – Click or tap here to enter text.

5.3. TimeWeaver

Processor – Click or tap here to enter text.

Compiler – Click or tap here to enter text.

5.4. TimingProfiler

Processor – Click or tap here to enter text.

Compiler – Click or tap here to enter text.

5.5. CompCert Valex

Architecture – Click or tap here to enter text.

5.5. Astree for C/C++

5.6. RuleChecker

__________________________________________________________________________________
FOR INTERNAL USE ONLY
6. Platform – Windows 64 Bit Linux 64Bit

7. What are the software characteristics (application area, code size, ...) of the software

you’re planning to analyze with the tool?

Click or tap here to enter text.

8. What is the problem that you are trying to solve with the tool?

Click or tap here to enter text.

9. What functionality and which features of the tool do you want to examine during your

evaluation? (Please identify 8&10 items)

Click or tap here to enter text.

10. What are your criteria for a successful evaluation of the features & functionality

identified in 9.? (Please state at least one criterion for each item listed under 9.)

Click or tap here to enter text.

11. How do you plan to proceed if the evaluation is completed successfully according

to the success factors defined in 10)?

Click or tap here to enter text.

12. Remarks – Click or tap here to enter text.

__________________________________________________________________________________
FOR INTERNAL USE ONLY