3 ms·

Another tool along these lines is Galois' Ivory language https://ivorylang.org/ https://ivorylang.org/ , a Haskell-embedded language for writing safe/reliable C

by wiml 6y ago

Another tool along these lines is Galois' Ivory language https://ivorylang.org/ https://ivorylang.org/ , a Haskell-embedded language for writing safe/reliable C.

matu3ba 6y ago
You might be interested in cakeml and cogent. What Safety Integrity Level can ivory guarantee? level2?
- wiml 6y ago
  CakeML is interesting, but I don't think any language can guarantee a SIL.
moonchild 6y ago
Another one is verifast.