Re:Astrée Static Analyzer for C and C++
by GuB-42 on Friday February 03, 2023 @10:24AM
(#34642244)
You can add energy and defense to the list.
And regulated fields are a big market, not just the huge companies that work in this field (you can see a short list on the linked page), but also suppliers of these companies.
And regulated fields are a big market, not just the huge companies that work in this field (you can see a short list on the linked page), but also suppliers of these companies.