Lutz Donnerhacke <[EMAIL PROTECTED]> writes: > Es ist Fun, zuverl�ssige Software zu schreiben. Es ist noch mehr > Fun, bewiesenerma�en partiell korrekte Software zu schreiben (das > leistet SPARK nur, wenn man formale Specs baut, z.B. in Z)
Wenn Du meinst. Das Problem ist, da� ich mit SPARK nicht all das, was ich brauche, reimplementieren kann. Mit anderen Sprachen geht das schon eher, und deswegen bereitet mir auch der Ada-Weg in j�ngerer Zeit etwas Kopfzerbrechen.
