About SeaHorn

SeaHorn is an automated analysis framework for LLVM-based languages. The key distinguishing feature of SeaHorn is its modular design that separates the concerns of the syntax of the programming language, its operational semantics, and the verification semantics. SeaHorn encompasses several novelties:

In this blog, we will write different aspects of SeaHorn.

Explore the different categories