coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Verification of GUIs in Coq

From: stvienna wiener <stvienna AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Verification of GUIs in Coq
Date: Tue, 10 Oct 2017 02:30:09 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=stvienna AT gmail.com; spf=Pass smtp.mailfrom=stvienna AT gmail.com; spf=None smtp.helo=postmaster AT mail-pf0-f180.google.com
Ironport-phdr: 9a23:20BCfhbznK0gWdtcEI3HGkf/LSx+4OfEezUN459isYplN5qZpsm9bnLW6fgltlLVR4KTs6sC0LWG9f24EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i76vnYuHUD0MhMwLeDoEKbTid623qa84c79eQJN0SGhf7J/KhO/5RrQu88bm8M2MbovyxbPpHJgdOFfxGcuLlWWyUWvrvys9YJupnwD88kq8NRNBP33

Hello everyone,

We are verifying GUI applications from the healthcare domain (e.g.,
healthcare processes) in Agda. Is there any related work in Coq? My
searches mostly return papers on how to write GUI front-ends to
theorem provers/Coq but not how to verify GUIs.

Thanks & best regards,
Stephan

[Coq-Club] Verification of GUIs in Coq, stvienna wiener, 10/10/2017
- Re: [Coq-Club] Verification of GUIs in Coq, Matthieu Sozeau, 10/10/2017
- Re: [Coq-Club] Verification of GUIs in Coq, Abhishek Anand, 10/10/2017
  - Re: [Coq-Club] Verification of GUIs in Coq, Jim Fehrle, 10/10/2017
  - Re: [Coq-Club] Verification of GUIs in Coq, Daniel Schepler, 10/10/2017
    - Re: [Coq-Club] Verification of GUIs in Coq, Valentin Robert, 10/10/2017
      - Re: [Coq-Club] Verification of GUIs in Coq, Pierre Courtieu, 10/11/2017
    - Re: [Coq-Club] Verification of GUIs in Coq, David MENTRÉ, 10/30/2017