IKOS
Last updated
, generated by
Sumble
Explore more → **IKOS**
What is IKOS?
IKOS is a static analyzer for C/C++ code based on abstract interpretation. It aims to prove the absence of run-time errors and verify the functional correctness of programs. It's commonly used for safety-critical software development, such as in the aerospace, automotive, and embedded systems industries.
Which job functions commonly mention IKOS?
Real Estate
0.1% of all Real Estate jobs mention IKOS
View 382
jobs on Sumble
Customer Success
101 Customer Success jobs mention IKOS
View 101
jobs on Sumble
Facilities
224 Facilities jobs mention IKOS
View 224
jobs on Sumble
Accountant
229 Accountant jobs mention IKOS
View 229
jobs on Sumble
Finance
280 Finance jobs mention IKOS
View 280
jobs on Sumble
Which organizations are mentioning IKOS?
Summary powered by 
Sumble
Sumble Find the right accounts, contact, message, and time to sell
Whether you're looking to get your foot in the door, find the right person to talk to, or close the deal — accurate, detailed, trustworthy, and timely information about the organization you're selling to is invaluable.
Use Sumble to: