Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

Table 4

Description of UML/OCL benchmarks and verification time (UMLtoCSP).

Example	Classes	Associations	Attributes	Invariants	Verification Time
Paper-Researcher	2	2	6	1	0.04 s
Coach	15	12	2	2	5008.76 s
DBLP	17	27	38	26	Time-out
Tracking System	50	60	72	5	3605.35 s
Script 1	100	110	122	2	Time-out
Script 2	500	510	522	5	Time-out
Script 3	1000	1010	1022	5	Time-out