Averant claims advances in formal verification

Averant Inc. is claiming several technology advancements in formal verification with the release of Solidify 5.0, the latest version of its formal property verification tool.