Return-Path: X-Original-To: apmail-reef-dev-archive@minotaur.apache.org Delivered-To: apmail-reef-dev-archive@minotaur.apache.org Received: from mail.apache.org (hermes.apache.org [140.211.11.3]) by minotaur.apache.org (Postfix) with SMTP id 8D3D4196FB for ; Thu, 14 Apr 2016 13:05:41 +0000 (UTC) Received: (qmail 87968 invoked by uid 500); 14 Apr 2016 13:05:41 -0000 Delivered-To: apmail-reef-dev-archive@reef.apache.org Received: (qmail 87936 invoked by uid 500); 14 Apr 2016 13:05:41 -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 87925 invoked by uid 99); 14 Apr 2016 13:05:41 -0000 Received: from pnap-us-west-generic-nat.apache.org (HELO spamd1-us-west.apache.org) (209.188.14.142) by apache.org (qpsmtpd/0.29) with ESMTP; Thu, 14 Apr 2016 13:05:41 +0000 Received: from localhost (localhost [127.0.0.1]) by spamd1-us-west.apache.org (ASF Mail Server at spamd1-us-west.apache.org) with ESMTP id C0C0FC3A59 for ; Thu, 14 Apr 2016 13:05:40 +0000 (UTC) X-Virus-Scanned: Debian amavisd-new at spamd1-us-west.apache.org X-Spam-Flag: NO X-Spam-Score: 0.184 X-Spam-Level: X-Spam-Status: No, score=0.184 tagged_above=-999 required=6.31 tests=[KAM_LAZY_DOMAIN_SECURITY=1, KAM_LINKBAIT=2.5, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, RP_MATCHES_RCVD=-0.996] autolearn=disabled Received: from mx2-lw-eu.apache.org ([10.40.0.8]) by localhost (spamd1-us-west.apache.org [10.40.0.7]) (amavisd-new, port 10024) with ESMTP id qvvXuBdCKElD for ; Thu, 14 Apr 2016 13:05:39 +0000 (UTC) Received: from mail.tu-berlin.de (mail.tu-berlin.de [130.149.7.33]) by mx2-lw-eu.apache.org (ASF Mail Server at mx2-lw-eu.apache.org) with ESMTPS id C8FCD5F20E for ; Thu, 14 Apr 2016 13:05:38 +0000 (UTC) X-tubIT-Incoming-IP: 130.149.6.152 Received: from ex-mbx-02.tubit.win.tu-berlin.de ([130.149.6.152] helo=exchange.tu-berlin.de) by mail.tu-berlin.de (exim-4.76/mailfrontend-5) with esmtp for id 1aqgxf-0001eO-6g; Thu, 14 Apr 2016 15:05:32 +0200 Received: from EX-MBX-04.tubit.win.tu-berlin.de (130.149.6.144) by EX-MBX-02.tubit.win.tu-berlin.de (130.149.6.152) with Microsoft SMTP Server (TLS) id 15.0.1156.6; Thu, 14 Apr 2016 15:05:24 +0200 Received: from EX-MBX-04.tubit.win.tu-berlin.de ([130.149.6.144]) by EX-MBX-04.tubit.win.tu-berlin.de ([130.149.6.144]) with mapi id 15.00.1156.000; Thu, 14 Apr 2016 15:05:06 +0200 From: "Dudoladov, Sergey" To: "dev@reef.apache.org" Subject: Re: Formal methods for REEF? Thread-Topic: Formal methods for REEF? Thread-Index: AQHRlA6SiwZ7ip1iREGHYg3hW3tZgp+E5K8AgAAnfQCAABi1AIABxBSKgAABRgCAAAEwgIAAARYAgAKGHdQ= Date: Thu, 14 Apr 2016 13:05:06 +0000 Message-ID: <1460639111806.32274@tu-berlin.de> References: <570BCFA2.3010401@weimo.de> <1460499419303.29203@tu-berlin.de> <570D9038.90702@weimo.de> ,<570D9220.2050502@weimo.de> In-Reply-To: <570D9220.2050502@weimo.de> Accept-Language: en-US, de-DE Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [172.26.25.184] x-pmwin-version: 4.0.1, Antivirus-Engine: 3.64.2, Antivirus-Data: 5.26 x-puremessage: [Scanned] Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 > TLA+ seems like a framework for that sort of task.=0A= =0A= Alloy *may be* another option. Skim http://alloy.mit.edu=0A= =0A= Regards,=0A= Sergey=