A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
This paper describes a set of analysis components that open the way to perform performance and dependability analysis with the Cadp toolbox, originally designed for verifying the functional correctness of Lotos specifications. Three new tools (named Bcg Steady, Bcg Transient and Determinator) have been added to the toolbox. The approach taken fits well within the existing architecture of Cadp which doesn't need to be altered to enable performance evaluation.doi:10.1007/3-540-36577-x_30 fatcat:psz3672jqjfzvns52sihddnyq4