Static Analysis Platform
Browse 1 websites in this category
Sites where Static Analysis Platform is a core feature are shown first, marked with a Core badge.
AbsInt offers tools for static analysis and formal verification, helping ensure safety and predict timing in critical embedded and software systems.