Av-Od: Services For Checking Structural Design