SixthSense Formal Verification       

links

Geert Janssen photo

SixthSense Formal Verification - overview


SixthSense: Sequential Equivalence Checking and (Semi-) Formal Verification

SixthSense is a toolset for formal and semi-formal verification. It is used for functional verification (i.e., property checking), as well as sequential equivalence checking. Technically, SixthSense is built upon a transformation-based verification framework encompassing numerous synergistic transformation and abstraction algorithms. These algorithms iteratively simplify and decompose complex problems until they become tractable for formal reasoning engines. This framework allows for high scalability in proof and semi-formal falsification efforts.