mooly-sagiv

Pinned Repositories

CertoraProverSupplementary
Supplementary Material to be used with the Certora Prover
Language:Ruby17 15 16
certora-prover-sup
Supplementary Material to be used with the Certora Prover
Language:Ruby00
differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
Language:Java1.4k 31 417119

mooly-sagiv/certora-prover-sup
Supplementary Material to be used with the Certora Prover
Language:Ruby00