Man Pages in vera++

Section 1: Executable programs or shell commands

vera++.1

Programmable verification and analysis tool for c++