DOUBLE_REF

Used .NET classes

Static methods used

Security notes

Unhandled exceptions

Other notes

The implementation of some features seems to be very slow (round for example). That's because of the strong postcondition.