symbolic execution timeline

[Dustin Wehr]

A nice resource for SMT-based technology that is likely to be useful for Legalese:

https://github.com/enzet/symbolic-execution

[Wong Meng Weng]

Thanks! This week at ICAIL I learned that FormaLex is still going strong:

https://github.com/formalex/FL

They have formalized Argentinean Customer Protection Act.

I also came across some work by Abubakr Abdelsadiq: https://theses.ncl.ac.uk/dspace/handle/10443/1814

Together with CL, this brings to 3 the number of formalization languages that plug in to a model checker.

I suspect digital-legislation.net has some sort of language that plugs in to SPINdle+, but I don't know enough yet.

On Fri, Jun 16, 2017 at 4:45 PM, Dustin Wehr <dusti...@gmail.com> wrote:

A nice resource for SMT-based technology that is likely to be useful for Legalese:

https://github.com/enzet/symbolic-execution

--
You received this message because you are subscribed to the Google Groups "Legalese talk" group.
To unsubscribe from this group and stop receiving emails from it, send an email to talk+unsubscribe@lists.legalese.com.
To post to this group, send email to ta...@lists.legalese.com.

--

colle...@legalese.com is a group email address used to provide continuity over multiple individuals.

This message was sent by meng...@legalese.com (Meng Weng Wong) on behalf of Legalese.

[Dustin Wehr]

Seems Abdelsadiq and Hvitved were working in parallel unaware of each other. So it goes.

I'm excited to read Abdelsadiq's thesis. That link appears to be down at the moment, so I'm attaching the copy I downloaded earlier for anyone who comes later.

Great Berlin talk by the way. I take it you're one of the authors of the website/documentation prose, which I admit wooed me.

On Friday, June 16, 2017 at 4:47:29 PM UTC-4, Active Team wrote:

Thanks! This week at ICAIL I learned that FormaLex is still going strong:

https://github.com/formalex/FL

They have formalized Argentinean Customer Protection Act.

I also came across some work by Abubakr Abdelsadiq: https://theses.ncl.ac.uk/dspace/handle/10443/1814

Together with CL, this brings to 3 the number of formalization languages that plug in to a model checker.

I suspect digital-legislation.net has some sort of language that plugs in to SPINdle+, but I don't know enough yet.

On Fri, Jun 16, 2017 at 4:45 PM, Dustin Wehr <dusti...@gmail.com> wrote:

A nice resource for SMT-based technology that is likely to be useful for Legalese:

https://github.com/enzet/symbolic-execution

--
You received this message because you are subscribed to the Google Groups "Legalese talk" group.

To unsubscribe from this group and stop receiving emails from it, send an email to talk+uns...@lists.legalese.com.

To post to this group, send email to ta...@lists.legalese.com.