Provers

Tool support for the Z formal notation

Status: Beta

Brought to you by: andrius-velykis, leouk, marku, petramalik, timmiller

Provers

Forum: Help

Creator: Pedro Aragão Henriques

Created: 2009-04-06

Updated: 2013-03-06

Pedro Aragão Henriques - 2009-04-06

When CZT will be included a prover?

Which are the provers that you use?

Regards,

Pedro Aragão Henriques

If you would like to refer to this comment somewhere else in this project, copy and paste the following link: