cadp.inria.fr/man/caesar.html

Preview meta tags from the cadp.inria.fr website.

Linked Hostnames

2

  • General Meta Tags

    4
    • title
      CAESAR manual page
    • 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

    3
    • icon
      /share/inria.ico
    • shortcut icon
      /share/inria.ico
    • stylesheet
      /style.css

Emails

1

Links

25