Return-Path: X-Original-To: archive-asf-public-internal@cust-asf2.ponee.io Delivered-To: archive-asf-public-internal@cust-asf2.ponee.io Received: from cust-asf.ponee.io (cust-asf.ponee.io [163.172.22.183]) by cust-asf2.ponee.io (Postfix) with ESMTP id 138E9200C56 for ; Fri, 31 Mar 2017 00:19:17 +0200 (CEST) Received: by cust-asf.ponee.io (Postfix) id 121C7160B98; Thu, 30 Mar 2017 22:19:17 +0000 (UTC) Delivered-To: archive-asf-public@cust-asf.ponee.io Received: from mail.apache.org (hermes.apache.org [140.211.11.3]) by cust-asf.ponee.io (Postfix) with SMTP id 569BF160B8B for ; Fri, 31 Mar 2017 00:19:16 +0200 (CEST) Received: (qmail 34019 invoked by uid 500); 30 Mar 2017 22:19:15 -0000 Mailing-List: contact dev-help@reef.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: dev@reef.apache.org Delivered-To: mailing list dev@reef.apache.org Received: (qmail 34004 invoked by uid 99); 30 Mar 2017 22:19:15 -0000 Received: from pnap-us-west-generic-nat.apache.org (HELO spamd3-us-west.apache.org) (209.188.14.142) by apache.org (qpsmtpd/0.29) with ESMTP; Thu, 30 Mar 2017 22:19:15 +0000 Received: from localhost (localhost [127.0.0.1]) by spamd3-us-west.apache.org (ASF Mail Server at spamd3-us-west.apache.org) with ESMTP id C62EF188A0E for ; Thu, 30 Mar 2017 22:19:14 +0000 (UTC) X-Virus-Scanned: Debian amavisd-new at spamd3-us-west.apache.org X-Spam-Flag: NO X-Spam-Score: -2.296 X-Spam-Level: X-Spam-Status: No, score=-2.296 tagged_above=-999 required=6.31 tests=[DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-2.796, RCVD_IN_SORBS_SPAM=0.5] autolearn=disabled Authentication-Results: spamd3-us-west.apache.org (amavisd-new); dkim=pass (2048-bit key) header.d=weimo-de.20150623.gappssmtp.com Received: from mx1-lw-eu.apache.org ([10.40.0.8]) by localhost (spamd3-us-west.apache.org [10.40.0.10]) (amavisd-new, port 10024) with ESMTP id 1YJZQRn9vFti for ; Thu, 30 Mar 2017 22:19:14 +0000 (UTC) Received: from mail-vk0-f48.google.com (mail-vk0-f48.google.com [209.85.213.48]) by mx1-lw-eu.apache.org (ASF Mail Server at mx1-lw-eu.apache.org) with ESMTPS id 8535A5FAD1 for ; Thu, 30 Mar 2017 22:19:13 +0000 (UTC) Received: by mail-vk0-f48.google.com with SMTP id z204so71887153vkd.1 for ; Thu, 30 Mar 2017 15:19:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=weimo-de.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=YBmBptlBj9JWgHdVxtnY+YcZ5g7AkunFc+0TPesogR0=; b=mMy1GIBx/hBzQJmYUBRU9oGG5vrL0SsodNdEZriiJOywqVpEllm8wpvChCVP53Rhs3 LPG9tqZcCbv4xtEeWnOaeo2fd1zXHPlYLxzvbKpweSqCXqIaV7eTd2v9bndWS4SJbPS3 Rnkuk989LnNlwd+1GUa1fYucsg1XmeOuyXPcuj8xxARlo/1KzB8EV3dKONuJJoqnYBLj UZNXrdvIGFl5Jmz51Ixqxs8OsrtP5pJSP2FSZw/sdTmoE8+45Q5OVjol8XaHAw9rr8Hg nCw0OxtNyg+SeGPuf+cWCfFK8USfWpTynypQCrZF6614ot68/mkapM05sHQ6B+ZJmxh5 h2hA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to; bh=YBmBptlBj9JWgHdVxtnY+YcZ5g7AkunFc+0TPesogR0=; b=cUcWf9W+vvzri9q+1yn0AARXzQAoanfY8rxRw9Ai7g/CMePHTApq28XGKV6cUuvgMl WuQGf+Ydm8+gDIjdCyDlu01eSW4hy2wfP221bHvkONetHU1S+yoAz1WmTZo1RRKVC1SA VxoL0BdZSn+JgSZzYEsDRCof85XRU0T/F3fbDLcEhvX4V3ioTCPIVt1aoygrgH5sa0oZ 3WDsVEHrehsF/rxp+JGPp7D1uOmzfGzpoV+6WLlvhdX2o6IgpBLrTkZRnI3PFCrYe4Qw Av2KSB2q2/lDlpKC+iH0SwNDoZLiemSwMT09FjZODcN4v30WHYHxFqiFn8xzEP6sEPEC gxrQ== X-Gm-Message-State: AFeK/H0wVPeYKeHpiN7zI0ZZz4UkagcJUg62Cxi7Df1XHoZOlRXGYrZTrKUhw3ijnjITS2jbWzV5gaKTdsdWfA== X-Received: by 10.176.67.2 with SMTP id k2mr1166934uak.177.1490912352250; Thu, 30 Mar 2017 15:19:12 -0700 (PDT) MIME-Version: 1.0 Received: by 10.176.65.68 with HTTP; Thu, 30 Mar 2017 15:18:51 -0700 (PDT) X-Originating-IP: [2001:4898:80e8:b::7a5] In-Reply-To: References: From: Markus Weimer Date: Thu, 30 Mar 2017 15:18:51 -0700 Message-ID: Subject: Re: Formal verification of the Driver <-> Driver Protocol To: REEF Developers Mailinglist Content-Type: text/plain; charset=UTF-8 archived-at: Thu, 30 Mar 2017 22:19:17 -0000 On Thu, Mar 30, 2017 at 2:54 PM, Byung-Gon Chun wrote: > How about adding it be part of the GSOC 2017 formal verification topic? That would be great! But I'd like to here from Doug first before putting him on the spot :-) Markus