uclid

UCLID5 is a modeling, formal verification, sythesis tool. This repository provides Docker Image to run UCLID5 with ease. This is not an official image by any means and is not related to the original authors of UCLID.

Run UCLID5

docker run --rm -v $PWD:/src ghcr.io/ks1019/uclid:latest <your_file>.ucl

LICENSE

This repository is under MIT LICENSE but contains the products that may be under different licenses from the other authors.

References

• uclid-org/uclid: UCLID5: formal modeling, verification, and synthesis of computational systems

• Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, and Sanjit A. Seshia. UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis. [HTML]34th International Conference on Computer Aided Verification (CAV 2022), Haifa, Israel. July 2022.

• Sanjit A. Seshia and Pramod Subramanyan. UCLID5: Integrating Modeling, Verification, Synthesis and Learning. [HTML] Proceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2018), Beijing, China. October 2018.

• Z3Prover/z3: The Z3 Theorem Prover