From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: tuhs-bounces@minnie.tuhs.org
X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on inbox.vuxu.org
X-Spam-Level: 
X-Spam-Status: No, score=-1.0 required=5.0 tests=HEADER_FROM_DIFFERENT_DOMAINS,
	MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no
	version=3.4.1
Received: from minnie.tuhs.org (minnie.tuhs.org [45.79.103.53])
	by inbox.vuxu.org (OpenSMTPD) with ESMTP id 2c4f027d
	for <ml@inbox.vuxu.org>;
	Mon, 20 Aug 2018 08:13:01 +0000 (UTC)
Received: by minnie.tuhs.org (Postfix, from userid 112)
	id 23D7DA1A54; Mon, 20 Aug 2018 18:13:00 +1000 (AEST)
Received: from minnie.tuhs.org (localhost [127.0.0.1])
	by minnie.tuhs.org (Postfix) with ESMTP id 54AEAA19FC;
	Mon, 20 Aug 2018 18:12:38 +1000 (AEST)
Received: by minnie.tuhs.org (Postfix, from userid 112)
 id A4701A19E9; Mon, 20 Aug 2018 18:12:36 +1000 (AEST)
Received: from lb1-smtp-cloud8.xs4all.net (lb1-smtp-cloud8.xs4all.net
 [194.109.24.21])
 by minnie.tuhs.org (Postfix) with ESMTPS id 1F8BCA19E3
 for <tuhs@minnie.tuhs.org>; Mon, 20 Aug 2018 18:12:35 +1000 (AEST)
Received: from [192.168.1.102] ([80.101.112.122])
 by smtp-cloud8.xs4all.net with ESMTPA
 id rfIef0F4loj71rfIffQyrP; Mon, 20 Aug 2018 10:12:34 +0200
From: Paul Ruizendaal <pnr@planet.nl>
Content-Type: text/plain;
	charset=utf-8
Content-Transfer-Encoding: quoted-printable
Mime-Version: 1.0 (Mac OS X Mail 11.4 \(3445.8.2\))
Message-Id: <CA3D8330-BCE9-41CB-B096-3E7D0E55C5EA@planet.nl>
Date: Mon, 20 Aug 2018 10:12:32 +0200
To: TUHS main list <tuhs@minnie.tuhs.org>
X-Mailer: Apple Mail (2.3445.8.2)
X-CMAE-Envelope: MS4wfOxVwwNh8+l3PI/2CpeyZgPLo3ePxS9dTiyqVLVr7YaAg4QIPim+kkwk0DvIDR3h80SKm8ZoHAV8d8Swv0NWXe+ewtsA4KkhyH01yJWm8uCPaFEB9E6h
 4H03ExCF5menRCxr/W3qVZVzSbwp7nzzxHoTsVLxnpZgQtEWJujrh0/g
Subject: [TUHS] Formal Specification and Verification
X-BeenThere: tuhs@minnie.tuhs.org
X-Mailman-Version: 2.1.20
Precedence: list
List-Id: The Unix Heritage Society mailing list <tuhs.minnie.tuhs.org>
List-Unsubscribe: <https://minnie.tuhs.org/cgi-bin/mailman/options/tuhs>,
 <mailto:tuhs-request@minnie.tuhs.org?subject=unsubscribe>
List-Archive: <http://minnie.tuhs.org/pipermail/tuhs/>
List-Post: <mailto:tuhs@minnie.tuhs.org>
List-Help: <mailto:tuhs-request@minnie.tuhs.org?subject=help>
List-Subscribe: <https://minnie.tuhs.org/cgi-bin/mailman/listinfo/tuhs>,
 <mailto:tuhs-request@minnie.tuhs.org?subject=subscribe>
Errors-To: tuhs-bounces@minnie.tuhs.org
Sender: "TUHS" <tuhs-bounces@minnie.tuhs.org>

> I also note that the general response here was the one I almost always
> get when I mention this stuff to people, which is near silence.

Don=E2=80=99t take that as disinterest. For me at least it simply =
reflects that
I need to find some time to read up on and digest the points you were =
making.

Paul