However, it also includes support for analysis of CSP processes both through refinement checking, and LTL model-checking.
Tačiau palaipsniui jis taip pat suderintas su CSP procesų analizei taip pat ir tikrinimui, bei LTL modelio tikrinimui.