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

[Mauricio Salatino]

Hi Jiri,
Drools Verifier do that for you? Am I right? Toni Rikkola is the man behind
drools verifier, you can talk with him to improve what he has now. I know
that Esteban was also playing with that and adding the concept of Working
Set. You can talk with him as well.
Cheers

On Mon, Sep 19, 2011 at 12:43 PM, Ansgar Konermann <
ansgar.konermann at googlemail.com> wrote:

> If I'm eligible to vote, please go for option 1.
> Am 19.09.2011 17:14 schrieb "Jiri Svitak" <jsvitak at redhat.com>:
>
> _______________________________________________
> rules-dev mailing list
> rules-dev at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-dev
>
>


-- 
 - CTO @ http://www.plugtree.com
 - MyJourney @ http://salaboy.wordpress.com
- Co-Founder @ http://www.jugargentina.org
 - Co-Founder @ http://www.jbug.com.ar

 - Salatino "Salaboy" Mauricio -
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/rules-dev/attachments/20110919/6cc51025/attachment-0001.html