coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] [Positions Open] Smart contracts using formal methods

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: RE: [Coq-Club] [Positions Open] Smart contracts using formal methods
Date: Tue, 31 Jul 2018 07:13:26 +0000
Accept-language: de-DE, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga04.intel.com
Ironport-phdr: 9a23:MHSrEBbRHSu56QdumXRqP97/LSx+4OfEezUN459isYplN5qZr8u6bnLW6fgltlLVR4KTs6sC17KI9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCa8bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjA57m/Zl9BwgqxYrhKvpRN/wpLbb46aOvdlYqPSZtcXSXZdUspNVSFMBJ63YYsVD+oGOOZVt4fxqUYJrRSgCgmsGPnvyjhQhnPuwKY01OUhHh3G3AM6Ad0OtHrYp8jyOacXUOC60KnIwi/dYPNSwzv984/IfQ4uofGQR7JwdtLRxFIuFwPDklWft4jlMymJ2eQKtmiW9uxtXv+hhW4grgF+uDmvxsE0h4nIgIIV1k7L9SFjzIkoO9K0UEt7bsC5H5tRqiGaMpF6Td8lQ2Ftvisx174IuYajcSQXzJkr2QTTZvyHfoSS4h/vSvydLSpmiH55YL6zmhe//Ea6xuDyWMS4ykhGoyRBn9XWq3wA1ALf5tCaRvZ8+kqtwyiD2gDc5+1eP0w4j7fXJ4M9zrM2i5Edq17MHjXsl0XzlKKWdlsr+uyv6+n/Z7XmqYWTO5N7hw3kM6QunNC/Dvo8MgQUQ2eb/uG82KXi/U3/XrpKkuU7nrTdvZzEP8gWpq60DxVV34o98RqzEimq3MgAkXkCNl1FeRaHj4bzO1HJJfD1FfK/g1Wwnzdr3f/JILnhDo/WLnjEjrjhcqp961RbyAor1t1f5pRUCq0fL/L3QEP+qNvYDhohPwyu3+nnEMl91p8ZWW+XHqCZN7rSvUaU6eIrPumDf5QYuC39Kvgg//7hl2U1mV4bfamz3JsYcmq0Hvp8IxbRXX25yNwGCCIBuhc0ZO3sklyLFzBJLT7mVKUlozo/FYiODIHZR4nrjqbXjwmhGZgDLFtBB1+QC3DwM82hWvwMYS+WaIc1lz0PVbGsT8k60hyhqBX905JmKPbZ/msTspe1h4s93PHaiRxnrW88NM+ayWzYFzglzFNNfCc/2eVEmWI4z16C1aZihPkBTI5S4e9EVkExMpuOlrUmWeC3YRrIe5KycHjjWs+vWGhjT9QtzttIaEF4SY3700LzmhGyCrpQrISlQZw59qWFgCr0KM8llzDH0rUsix8tRc4dbWA=

Dear Faré

I like the article:

https://medium.com/legi/what-do-formal-methods-actually-guarantee-c33e509de88f

exactly to the point!

Best regards,

Michael
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] [Positions Open] Smart contracts using formal methods, Faré, 07/31/2018
- RE: [Coq-Club] [Positions Open] Smart contracts using formal methods, Soegtrop, Michael, 07/31/2018