PROOF(1) - Linux manual page online | User commands

Formal proof between two behavioural descriptions.

Loading manual page ...

This manual	Reference	Other manuals
proof(1)	referred by	boog(1) \| fsm(5) \| loon(1) \| syf(1) \| troff(1plan9) \| vasy(5) \| vbe(5) \| vhdl(5)
proof(1)	refer to	asimut(1) \| vbe(5) \| vhdl(5)