Published January 4, 2024 | Version v1
Software Open

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law (Artifact)

  • 1. ROR icon Inria research centre Lille - Nord Europe
  • 2. Inria Paris

Description

This is the artifact supporting the experimental evidence presented in our (upcoming) ESOP'24 paper "Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law".

Files

Files (2.9 GB)

Name Size Download all
md5:0554bc2da9e7f5999920e1c011fb9b93
2.9 GB Download
md5:2116abaf5d004642ef38c6e6da5b0ebe
1.2 kB Download
md5:3000208d539ec061b899bce1d9ce9404
7.7 kB Download
md5:ea55adc9cf0ce96ea44b19206d7f9180
11.0 kB Download
md5:6f7a88b5494d8d3839c139d340996844
1.6 kB Download
md5:5e2d44a31382b17035b7355560a5a993
488 Bytes Download