Verifying smart contracts in Libra’s Move language

#1

Post by saurabh20n » Thu, Sep 12, 2019, 4:08 PM UTC

Verifying smart contracts in Libra’s Move language
synthetic-minds.com

Re: Verifying smart contracts in Libra’s Move language

#2

Post by compilers » Thu, Sep 12, 2019, 4:17 PM UTC

Very nice! Is the synthesis post ready?

Re: Verifying smart contracts in Libra’s Move language

#3

Post by saurabh20n » Thu, Sep 12, 2019, 4:25 PM UTC

compilers wrote: post #2

Very nice! Is the synthesis post ready?

Yes. We did all the work together. Was going to talk about that one later, but since you asked:

Synthesizing smart contracts from test cases. https://synthetic-minds.com/pages/blog/blog-2019-09-12.html

Re: Verifying smart contracts in Libra’s Move language

#4

Post by compilers » Thu, Sep 12, 2019, 4:58 PM UTC

saurabh20n wrote: post #3

compilers wrote: post #2

Very nice! Is the synthesis post ready?

Yes. We did all the work together. Was going to talk about that one later, but since you asked: Synthesizing smart contracts from test cases. https://synthetic-minds.com/pages/blog/blog-2019-09-12.html

Cool! I do not have much experience in this area but this certainly seems like interesting work. I wish you good luck!

Re: Verifying smart contracts in Libra’s Move language

#5

Post by RichardHeart » Fri, Sep 13, 2019, 2:43 AM UTC

saurabh20n wrote: post #3

compilers wrote: post #2

Very nice! Is the synthesis post ready?

Yes. We did all the work together. Was going to talk about that one later, but since you asked: Synthesizing smart contracts from test cases. https://synthetic-minds.com/pages/blog/blog-2019-09-12.html

Would love to hear back from you guys, richardheartauthor at gmail, emailed you in oct '18, and jun '19, and now.

Re: Verifying smart contracts in Libra’s Move language

#6

Post by saurabh20n » Fri, Sep 13, 2019, 3:27 AM UTC

RichardHeart wrote: post #5

saurabh20n wrote: post #3

Earlier quoted context omitted.

Yes. We did all the work together. Was going to talk about that one later, but since you asked: Synthesizing smart contracts from test cases. https://synthetic-minds.com/pages/blog/blog-2019-09-12.html

Would love to hear back from you guys, richardheartauthor at gmail, emailed you in oct '18, and jun '19, and now.

Thanks for the ping. Looking forward to running your contracts through our system.