Community Z Tools Discussion

Tool support for the Z formal notation

Status: Beta

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

Help

Topic	Posts	Views	Last Post
Clash between czt.sty and koma-script By Frank Dordowsky on Fri Jan 27, 2023 10:09 PM	3	113	By Frank Dordowsky on Sun Jul 21, 2024 07:56 PM
Z/EVES Prover: XML Parsing Error By Ann Wood on Tue Oct 31, 2017 09:57 PM	3	260	By kunde wayne on Wed Jul 17, 2024 02:17 AM
Z/Eves Eclipse By Noridayu Adnan on Fri Mar 22, 2019 03:16 AM	4	520	By André Silva on Tue Jul 16, 2024 01:12 PM
Z/EVES Prover By Albert Maine on Mon Jan 23, 2017 04:39 AM	4	903	By Noridayu Adnan on Fri Mar 22, 2019 02:33 AM
Eclipse update file seems to be empty By Teresa on Mon Apr 23, 2018 03:04 PM	2	350	By Leo Freitas on Tue Apr 24, 2018 09:01 AM
Initialization operations in CZT By rpr1 on Sun Jan 28, 2018 08:11 AM	1	311	By rpr1 on Sun Jan 28, 2018 08:11 AM
Can Object-Z support annotation (similar to Java's annotation)? By David Le on Mon Oct 03, 2016 11:43 PM	3	325	By David Le on Thu Oct 13, 2016 09:08 AM
JEdit plugin install error: Major.minor version not supported By David Le on Mon Apr 11, 2016 02:15 AM	6	720	By David Le on Tue Apr 12, 2016 12:56 PM
Error: Undeclared name \poly By David Le on Thu Apr 07, 2016 01:40 AM	8	896	By David Le on Mon Apr 11, 2016 01:19 AM
what is the latex syntax to refer to a integer sub-scripted schema name By Ibrahim Shiyam on Mon Oct 06, 2014 04:34 PM	2	260	By Mark Utting on Mon Oct 06, 2014 10:38 PM
Why the Object-Z specification is invalid? By Daijie Zhang on Tue Nov 05, 2013 08:40 AM	48	2025	By Andrius Velykis on Wed May 21, 2014 02:54 PM
Ask for help about 'error' By Daijie Zhang on Thu Nov 14, 2013 02:48 AM	1	255	By Daijie Zhang on Thu Nov 14, 2013 02:48 AM
Z To alloy By Cássio Chaves Reginato on Thu Jul 11, 2013 08:59 PM	3	193	By Cássio Chaves Reginato on Sun Jul 14, 2013 07:22 PM
upgrading from fuzz to czt By David Alex Lamb on Tue May 14, 2013 03:22 PM	3	226	By Anthony Hall on Thu May 30, 2013 03:45 PM
Error : "code too large" By Neeraj on Mon Oct 08, 2012 05:19 PM	1	155	By Neeraj on Mon Oct 08, 2012 05:19 PM
About the 1.5.0 CZT Circus Parser By Samuel Lincoln M Barrocas on Mon May 09, 2011 02:55 AM	3	282	By Samuel Lincoln M Barrocas on Wed May 11, 2011 01:45 AM
Maven error compiling CZT 1.5 By JohnJackson on Sat Mar 14, 2009 10:48 PM	13	625	By Peter Chapin on Thu Jun 17, 2010 04:09 PM
CZT eclipse By Pedro Aragão Henriques on Fri May 22, 2009 12:47 PM	1	173	By Pedro Aragão Henriques on Fri May 22, 2009 12:47 PM
Provers By Pedro Aragão Henriques on Mon Apr 06, 2009 04:26 PM	1	186	By Pedro Aragão Henriques on Mon Apr 06, 2009 04:26 PM
CZT Eclipse plugin By Adam Hamilton on Tue Mar 11, 2008 02:19 PM	4	308	By Pedro Aragão Henriques on Mon Apr 06, 2009 04:19 PM
\input{} includes By Dmitriy on Sun Nov 23, 2008 10:45 AM	2	117	By Petra Malik on Wed Nov 26, 2008 03:12 AM
Font problem By Dmitri Pissarenko on Wed Oct 17, 2007 01:30 PM	7	190	By Philip Dart on Fri Jul 25, 2008 06:23 AM
What do we do to use CZT for work? By ogu on Mon Sep 10, 2007 06:10 AM	5	905	By ogu on Fri Sep 14, 2007 12:58 AM
about the difference of czt-1.0-bin and -src By ogu on Wed Sep 05, 2007 03:00 PM	5	137	By ogu on Mon Sep 10, 2007 06:01 AM
Can't get czt By Keith Harwood on Wed Jul 25, 2007 11:24 PM	5	166	By Keith Harwood on Thu Jul 26, 2007 11:11 PM

Topic

Posts

Views

Last Post