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

[Mauricio Salatino]

Exactly, I thought that the main point is verify the correctness of the
Rules, If I misunderstood that sorry..
If you are talking about only finding bugs in the Drools code, it will be
the same as finding bugs in any other project right?
I'm just curious..

Best Regards!

On Mon, Sep 19, 2011 at 1:14 PM, Wolfgang Laun <wolfgang.laun at gmail.com>wrote:

> On 19 September 2011 17:57, Mauricio Salatino <salaboy at gmail.com> wrote:
>
>> Hi Jiri,
>> Drools Verifier do that for you? Am I right?
>>
>
> I think this is a misunderstanding. Looking at Drools' Java code takes a
> Java bug finding program such as findbugs. What Drools Verifier does is:
> look at DRL code written by Drools users.
>
> Findbugs applied to Drools code is a good idea, but I would opt for this to
> include fundamental code that's *used *by Drools and responsible for a
> considerable number of JIRAs.
>
> -W
>
>
>
>>  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 -
>>
>>
>> _______________________________________________
>> rules-dev mailing list
>> rules-dev at lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/rules-dev
>>
>>
>
> _______________________________________________
> 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/40bf1485/attachment.html