meta.yml

---
fullname: coq-http
shortname: coq-http
opam_name: coq-http
organization: liyishuai
action: true
synopsis: HTTP in Coq
description: HTTP specification in Coq, testable and verifiable
authors:
  - name: Yishuai Li
    email: yishuai@cis.upenn.edu
    orcid: 0000-0002-5728-5903
  - name: Li-yao Xia
    email: xialiyao@cis.upenn.edu
    orcid: 0000-0003-2673-4400
  - name: Yao Li
    email: liyao@cis.upenn.edu
    orcid: 0000-0001-8720-883X
  - name: Azzam Althagafi
    email: aazzam@cis.upenn.edu
  - name: Benjamin C. Pierce
    email: bcpierce@cis.upenn.edu
    orcid: 0000-0001-7839-1636
license:
  - fullname: Mozilla Public License 2.0
    identifier: MPL-2.0
dependencies:
  - description: '[OCamlbuild](https://github.com/ocaml/ocamlbuild)'
    opam:
      name: ocamlbuild
      version: '{ >= "0.14.1" }'
  - description: '[QuickChick](https://github.com/QuickChick/QuickChick/)'
    opam:
      name: coq-quickchick
      version: '{ >= "1.6.3" }'
  - description: '[AsyncTest](https://github.com/liyishuai/coq-async-test)'
    opam:
      name: coq-async-test
      version: '{ >= "0.1.0" }'
test_target: test
install_flag: INSTALLDIR=%{bin}%
categories:
  - name: >-
      Computer Science/Concurrent Systems and Protocols/Correctness of specific
      protocols
  - name: Miscellaneous/Extracted Programs/Decision procedures
keywords:
  - name: co-induction
  - name: extraction
  - name: reactive systems
namespace: HTTP
opam-file-maintainer: 'Yishuai Li <liyishuai.lys@alibaba-inc.com>'
supported_coq_versions:
  text: 8.14 or later
  opam: '{ >= "8.14~" }'
tested_coq_opam_versions:
  - version: '8.14'
  - version: '8.15'
  - version: '8.16'
  - version: '8.17'
  - version: '8.18'
  - version: 'dev'
action_appendix: |2-
            export: 'OPAMWITHTEST'
          env:
            OPAMWITHTEST: true
publications:
  - pub_title: >-
      From C to Interaction Trees:
      Specifying, Verifying, and Testing a Networked Server
    pub_url: https://doi.org/10.1145/3293880.3294106
    pub_doi: 10.1145/3293880.3294106
  - pub_title: Model-Based Testing of Networked Applications
    pub_url: https://doi.org/10.1145/3460319.3464798
    pub_doi: 10.1145/3460319.3464798
  - pub_title: Verifying an HTTP Key-Value Server with Interaction Trees and VST
    pub_url: https://drops.dagstuhl.de/opus/volltexte/2021/13927
    pub_doi: 10.4230/LIPIcs.ITP.2021.32
  - pub_title: Testing by Dualization
    pub_url: https://repository.upenn.edu/handle/20.500.14332/32046
    pub_doi: 20.500.14332/32046