Description
Develops formal-methods software to validate and certify trustworthy AI for defence and aerospace systems.
Why It Belongs Here
No specific defense relevance signals have been verified yet.
Details
Links
Domain: numalis.com
Sources and Evidence
Evidence Links
No evidence links have been extracted yet.