Editing Communicating sequential processes (section)

=== ProB ===

The ''ProB'' project,<ref>{{cite conference |first1=Michael |last1=Leuschel |first2=Marc |last2=Fontaine |title=Probing the Depths of CSP-M: A new FDR-compliant Validation Tool |book-title=ICFEM 2008 |publisher=Springer-Verlag |date=2008 |url= http://www.stups.uni-duesseldorf.de/publications/main.pdf |access-date=2008-11-26 |url-status=dead |archive-url= https://web.archive.org/web/20110719102153/http://www.stups.uni-duesseldorf.de/publications/main.pdf |archive-date=2011-07-19}}</ref> which is hosted by the Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, was originally created to support analysis of specifications constructed in the [[B method]]. However, it also includes support for analysis of CSP processes both through refinement checking, and [[Linear Temporal Logic|LTL]] model-checking. ProB can also be used to verify properties of combined CSP and B specifications. A ProBE CSP Animator is integrated in FDR3.