Re: What project use Z ?

2007-10-20 Thread Jabka Atu
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

Daniel Burrows wrote:
> On Fri, Oct 19, 2007 at 09:26:58PM +0200, Jabka Atu
<[EMAIL PROTECTED]> was heard to say:
>> After a short academic course in Z
>> (http://en.wikipedia.org/wiki/Z_notation) i was wondering if it is
>> implemented in big Projects (GNU) i had been noted that  Free Desktop
>> use the approach of Z (formal specification to find potential bugs)
>
>   Interesting, I hadn't heard of that.  Do you know if anyone has done
> work to link this with a system like Conquoction and get mechanized
> proof-checking for real languages?
>
>   Daniel
It's aint Free software (bummer) but the source code checking system
that is used in Ben Gurion University uses mathematical approach to
calculate potential places with bad code (sorry for the 3rd grade
language).

there is also use of CICS systems (IBM developers can help there ... )
that used Z in the design (that what had been said in wikipedia).



- --
- --
Could you at least use man ?
Jabka Atu (aka mha13/Mashrom Head) || bsh83.blogspot.com
- --
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iQIVAwUBRxnJTW9p6JnF9I1qAQKAbw//S7duuKMQe+H3ejiWbOVtAiGP0sQSyVFt
CuQFaq4lNDh3lnpobKAhZDE3DShMN+uQaLknbORPGFp/A9Mp7uXRSapdwhlKF2xF
8np4+xPiZfD0Xo8VG2WtbLw1ZmGcHW5NdbNQ36LD7BA/c+/YWT85VHkCHN6lXudt
M6kQc6a9l0gjaWpRz9p4LnDGbjdE+F+zZ81s7WRzbuZF3SxfBV83LzqWh0QYfA6m
COFYzdUk0P1g3ACN6LxzkSXQaiAQQSnf/UiP55Xa7fekVbySEkmGefxKt2+vAfOH
CkPAlNcW55EEZ7luX+yXFQIZ48zX92MZqeiKJ+E6XSWNwWPTut3gQlCQEjAcLqxa
JCbfbBrzIN1mCAgMBXtwxI9lLPIEgrt6/8Gj6G+iRBrT/s85WB3m4YpSQq+FOVLG
zVuzh5DZsP/QYNuhEB2qVIcGHR4kcHEjaK6cssKwbakF1EM91NVNpHAcHXSu0ZIf
4YkmU1ZxGUPfrrlgSTtpmkeMPbmQB9n8VUeldOZ2Tpg5df0iaofDZ6pbZV2PeRFU
PP50LbHvxpZu42sL1//eAIQ1HGYMHzc00gbEIAqaQBYHZvxOFdB/nGadO6VxJGJD
SleRH3hoT4S4O2lbckjX1zW3EBmCgkOdUEXCpWx4Ip85plIRZbrhhdWVmDimSUC4
4aNZys3YKZs=
=3Dy2
-END PGP SIGNATURE-


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED] 
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]



What project use Z ?

2007-10-19 Thread Jabka Atu
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

Hello,...


After a short academic course in Z
(http://en.wikipedia.org/wiki/Z_notation) i was wondering if it is
implemented in big Projects (GNU) i had been noted that  Free Desktop
use the approach of Z (formal specification to find potential bugs)


does any one more use that ?



- --
- --
Could you at least use man ?
Jabka Atu (aka mha13/Mashrom Head) || bsh83.blogspot.com
- --
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iQIVAwUBRxkFAm9p6JnF9I1qAQJ02w/+IPmVq7hNbarUN4BldTQxs8a7Tx7dN+N3
DqpWYUmmSpG8zHxiusfi5B1peOBhrDNaTGPP7t1frovaCWqEz8nhUTu3ot0HG4Eg
IOn6tvYTDq0TPHUxdMmVePJHcAtBtU9cl97M3mV4IX3gHRciVmjWimCsBrjNAanU
0IdWhCaTM7VRej1Jlr69V6rXl/cUlF2d0bkYoCbwKDYapWO84dJuh47begVm26rl
BMGvfBCCLSHmjqwsYDmXY2W4Pz614FgsW4QqJ0d1Bu7MP6fLuizJ3O2+BJCIrJvT
R6JvISwc0/zD9QgHlxmc0RhVJ1AbdPFq3Y0+OBcjUMmtCf7bksGMpRWn3Olu6NGn
vaGRYyCUFuZdZtZSFUbmXgzTAgvBRQBfTilUirjaXA1x+LE5ak5CwgbH12RqpKAa
Wcp0FzAg2up500gvDwqMvhkr2j8WSa9SjAVOjN5KCxcsQk/TQFzHpa5h9/KZX0To
fMTNGqVpjHonpYT3fpXKj7Qp/qwaNS/ALB5Hv5vYsFhPmTS3fMiTpg1agnCR+LMU
doyJwVPXhGR+5a4sOs7yAkN1tmI740jR4mF0VoATINa8cH8jeUi9RPZSgrAJ53O1
4vzMUxZoE3M1PKTqRNGahogTinhNwV2pyFg/on1st6ZNhc9tPYgvFFL3tlVE+KMy
xpjEajAd9qI=
=39cB
-END PGP SIGNATURE-


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED] 
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]