Formal Methods Wiki

This wiki's URL has been migrated to the primary fandom.com domain.Read more here

READ MORE

Formal Methods Wiki
Advertisement

Z/EVES is a proof tool based on EVES and ZF set theory that supports the Z notation. Originally available from ORA Canada, its status is now uncertain.

See:

Advertisement