Re: [rules-dev] Formal verification of Drools - master's thesis