We present a model for pricing credit risk protection for a limited liability non-life insurance company. The protection is typically provided by a guaranty fund. In the case of continuous monitoring, i.e., where the market ...