Community Z Tools

beta

Tool support for the Z formal notation

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

Help

Topic	Posts	Views	Last Post
Z/EVES Prover By Albert Maine on Mon Jan 23, 2017 04:39 AM	3	68	By Albert Maine on Mon Jan 23, 2017 02:28 PM
Can Object-Z support annotation (similar to Java's annotation)? By David Le on Mon Oct 03, 2016 11:43 PM	3	65	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	178	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	133	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	1	148	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	722	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	110	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	125	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	146	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	105	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	137	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	359	By Peter C. 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	82	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	91	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	190	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	68	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	110	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	540	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	69	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	97	By Keith Harwood on Thu Jul 26, 2007 11:11 PM
Problrms with czt 0.5 By gwat on Wed Jul 12, 2006 06:47 AM	6	111	By Petra Malik on Wed Aug 09, 2006 08:34 AM
JFlex By Angus on Tue Dec 21, 2004 12:14 PM	4	63	By Petra Malik on Sat Dec 25, 2004 12:42 AM

Tool support for the Z formal notation

Forums

Help

Help document.SUBSCRIPTION_OPTIONS = { "thing": "forum", "subscribed": false, "url": "subscribe_to_forum", "icon": { "css": "fa fa-envelope-o" } };

Get latest updates about Open Source Projects, Conferences and News.

Help