Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Ortac: Runtime Assertion Checking for OCaml (Tool Paper) | 0 | 0.34 | 2021 |
| Simpler proofs with decentralized invariants | 0 | 0.34 | 2021 |
| A functional implementation of the garsia--wachs algorithm: (functional pearl) | 1 | 0.36 | 2008 |
| Formal Verification of Floating-Point Programs | 48 | 2.55 | 2007 |
| Functors for Proofs and Programs | 15 | 1.07 | 2004 |