ak1930

3 ms·

1. 1.▲
   by ak1930 3y ago

   We would work with you to make formal specifications and then verify that your code satisfies them, and help modify it until it does. We are open to Rust, yes.
2. 2.▲
   by ak1930 3y ago

   Very interesting thoughts. We're verifying code. The idea here is not to close massive contracts with govts or SpaceX, but work on far smaller projects—even potentially open source ones—where there is an interest in correctness.
3. 3.▲
   by ak1930 3y ago

   Because of the early stage of our tool it would have to be the customer, like in consulting. Naturally, we will provide full formal proofs in as explicit detail as is desired, down to the axioms of the language we're working in.
4. 4.▲
   by ak1930 3y ago

   Yes, in this case we would work with you to write the specifications. It does involve effort; the tool does not derive this in an automated way.
5. 5.▲
   Ask HN: Would you pay to have code verified?

   3 points by ak1930 3y ago|13 comments