program_proofs_in_spark

This repository contains some programs from Rustan Leino's book "Program Proofs" verified with SPARK.

Stars

5

Forks

0

Language

Ada

Last Updated

Jun 25, 2023

Similar Repos