Published July 14, 2026
| Version v1
Software
Open
Determinism Analysis and its Application to Evaluation Order Independence (Software Artefact, SAS'26)
Authors/Creators
-
1.
National Institute for Research in Computer and Control Sciences
-
2.
Inria Rennes - Bretagne Atlantique Research Centre
Description
This is the software artefact for the research paper published at SAS'26 entitled "Determinism Analysis and its Application to Evaluation Order Independence".
It consists of the static analyser for checking determinism and evaluation order independence described in the article, and a set of test programs.
The analyser comes in the form of its source code, and of a standalone Docker image, in which the analyser can be run directly.
Files
Files
(1.1 GB)
| Name | Size | |
|---|---|---|
|
md5:fad61296c915e37cd24658a79764e871
|
1.1 GB | Download |
Additional details
Funding
- Agence Nationale de la Recherche
- SECUREVAL - Improving Software Systems Security Evaluation ANR-22-PECY-0005
Software
- Programming language
- OCaml