-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]