web.archive.org/web/20211102164538/http:/cadp.inria.fr/case-studies/00-a-splice.html

Preview meta tags from the web.archive.org website.

Linked Hostnames

1

  • General Meta Tags

    4
    • title
      Database of Case Studies Achieved Using CADP
    • description
      CADP (Construction and Analysis of Distributed Processes) is a toolbox for protocol engineering. It offers a wide range of functionalities, from interactive simulation to the most recent formal verification techniques. It supports the LOTOS formal description technique, but other formalisms are accepted as well.
    • Content-Type
      text/html; charset=ISO-8859-1
    • keywords
      LOTOS, Formal Methods, Verification, protocol engineering, Concurrent systems, parallelism, Real time, specification, code generation, parallel programming, CADP, CADP software, CADP toolbox, CADP tool set, CADP toolset, CADP tools

  • Link Tags

    5
    • icon
      /web/20220119181142im_/http://cadp.inria.fr/share/inria.ico
    • shortcut icon
      /web/20220119181142im_/http://cadp.inria.fr/share/inria.ico
    • stylesheet
      https://web-static.archive.org/_static/css/banner-styles.css?v=p7PEIJWi
    • stylesheet
      https://web-static.archive.org/_static/css/iconochive.css?v=3PDvdIFv
    • stylesheet
      /web/20220119181142cs_/http://cadp.inria.fr/style.css

Links

27