Vitaly Lugovsky wrote: >писать доказанно безошибочный код, и побольше! > > В ближайшее время в Сизиф пойдёт и система Krokatoa для >доказательства аннотированного Java-кода. > > А что такое "аннотированный"?