cadp.inria.fr/man/exp.open.html
Preview meta tags from the cadp.inria.fr website.
Linked Hostnames
4- 25 links tocadp.inria.fr
- 1 link toen.wikipedia.org
- 1 link toparsys.informatik.uni-oldenburg.de
- 1 link towww-sop.inria.fr
General Meta Tags
4- titleEXP.OPEN manual page
- descriptionCADP (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-Typetext/html; charset=ISO-8859-1
- keywordsLOTOS, 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- [email protected]?Subject=CADP-Bug-Report
Links
28- http://cadp.inria.fr
- http://cadp.inria.fr/publications/Garavel-15-a.html
- http://cadp.inria.fr/publications/Garavel-Sighireanu-99.html
- http://cadp.inria.fr/publications/Lang-05.html
- http://cadp.inria.fr/publications/Lang-06.html