[Ufmrg] A manifesto for applicable formal methods
Gergely Buday <g.buday@sheffield.ac.uk> Fri, 20 October 2023 12:26 UTC
Return-Path: <g.buday@sheffield.ac.uk>
X-Original-To: ufmrg@ietfa.amsl.com
Delivered-To: ufmrg@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 3525CC14CE55 for <ufmrg@ietfa.amsl.com>; Fri, 20 Oct 2023 05:26:45 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.208
X-Spam-Level:
X-Spam-Status: No, score=-0.208 tagged_above=-999 required=5 tests=[BAYES_20=-0.001, DKIMWL_WL_MED=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=sheffield.ac.uk
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id zjzCRfL9fP7H for <ufmrg@ietfa.amsl.com>; Fri, 20 Oct 2023 05:26:40 -0700 (PDT)
Received: from mail-ej1-x636.google.com (mail-ej1-x636.google.com [IPv6:2a00:1450:4864:20::636]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 9796CC151097 for <Ufmrg@irtf.org>; Fri, 20 Oct 2023 05:26:40 -0700 (PDT)
Received: by mail-ej1-x636.google.com with SMTP id a640c23a62f3a-9bf0ac97fdeso116431966b.2 for <Ufmrg@irtf.org>; Fri, 20 Oct 2023 05:26:40 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sheffield.ac.uk; s=170424.google; t=1697804798; x=1698409598; darn=irtf.org; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=SYs3tUvOSXsMn7o6W1DPflFH+wPW6TMrhVhWvEwz+u4=; b=JP6xjmUtx78dJOafCPxHPx8Rfvge/biG22Xb2F6D6OhyAsI7moYpOPSVFVbcdG8tw9 zxvHnLtXxOc6NMqbtCKd2T6NH3T2lXjniDX4vPywHDQLeSwmmMUlN69RjaYB7jTKCpai y8EJZrL9dJJtLPa0kFwdEeyJ+rmEW5jvh37oZt1QYfpL7FcIApmiYowxQxi82dXRCgjE J2PKUfXRcEPxrGUyRWUuXQ7OSNx7euFpfDstSKGWzAiGmRmR2D1MgYYrLX8ypTHu6dp6 nUA2Cv92rN49TuVM6We1oyYOo3dgFQbGt0DCkvytRYVkPSmCwbEWtBDlZ4KrHMixW9w/ DR8Q==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1697804798; x=1698409598; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=SYs3tUvOSXsMn7o6W1DPflFH+wPW6TMrhVhWvEwz+u4=; b=fuB17bbjPM5MlnhgwsqliXDOY+HD5AoutCF280EMadv5Ng6yVzAmXNE2mCIXmaSP6W kox4CG4e9hTj1YTx7o7ACdLZADPiMcm6E55hleufUan3TEIuduyfg7DBrJ91bbyP44nm pLArcFNdEZXpHry6EB7+C117yST3cbRPLcsDsomn/+3rNwxeU7Kpg71CfN/OnBcnFnfS olmObYrGSeU5st57O27OM1mH/AozZOhJjgZlpzosQnsgffnZYbKCajQYiy8lQsuPpt5L kOtgCUA+btje6aGdidw4AxBDf2O2oz+1fVxr1tbWK4t3w1N9lL6uiz1SwkhHQYtW1Ii+ tg8g==
X-Gm-Message-State: AOJu0Yy5nnnWjsQQoOF/SK3uR2UN4zYheSczuUYiJIIte3E/HFhguH92 pDwC4FX90X4ENpa0oQgMC+iDz76BZL3A3bv5hbw+JJ30Wny4LL9W6sfMKiM+HRBsjb+4qweGFgI 2tdsp2ivHVH7q9eu5xX0YkkRYJh9fWUwFHQNSY5MNfiLJi3SGRdA61dO2hXvnMXtb2QjmxkhgmW qQ0ztI44WyQup55aicDs4e
X-Google-Smtp-Source: AGHT+IFj2eoC2sL9o/UrB2au0zRlgfKzstlpL3Fl4S5pft3SiHIa0e3Age7LksyO1i0B57NPWxdpXgbDSJMynzzczeU=
X-Received: by 2002:a17:906:da88:b0:9be:7de2:927c with SMTP id xh8-20020a170906da8800b009be7de2927cmr1145848ejb.70.1697804798276; Fri, 20 Oct 2023 05:26:38 -0700 (PDT)
MIME-Version: 1.0
From: Gergely Buday <g.buday@sheffield.ac.uk>
Date: Fri, 20 Oct 2023 13:26:27 +0100
Message-ID: <CAHgAKgTOiZVK0fWvNu5y9S_B6h+LSzdm-MCi_iafxwZ0YvF3ig@mail.gmail.com>
To: Ufmrg@irtf.org
Content-Type: multipart/alternative; boundary="000000000000e657bf060824fbc1"
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/Gf0-Lm9rORmoT70z3tN06EJ7fJc>
Subject: [Ufmrg] A manifesto for applicable formal methods
X-BeenThere: ufmrg@irtf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Usable Formal Methods Research Group <ufmrg.irtf.org>
List-Unsubscribe: <https://www.irtf.org/mailman/options/ufmrg>, <mailto:ufmrg-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/ufmrg/>
List-Post: <mailto:ufmrg@irtf.org>
List-Help: <mailto:ufmrg-request@irtf.org?subject=help>
List-Subscribe: <https://www.irtf.org/mailman/listinfo/ufmrg>, <mailto:ufmrg-request@irtf.org?subject=subscribe>
X-List-Received-Date: Fri, 20 Oct 2023 12:26:45 -0000
Dear Members, this paper came across today: https://www.researchgate.net/publication/373213883_A_manifesto_for_applicable_formal_methods This might be of interest under Usable Formal Methods. Yours - Gergely
- [Ufmrg] A manifesto for applicable formal methods Gergely Buday