How can i find z-notation compiler or parser or interpreter?

Question

I should find z notation parser or compiler. Please help me if you can.

score 0 · Accepted Answer · answered Jul 12 '14 at 05:11

0

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools.

answered Jul 12 '14 at 05:11

etr

1,252
2
8
15

How can i find z-notation compiler or parser or interpreter?

1 Answers1