Nástroj pro ověřování komunikační korektnosti softwarových komponent na základě specifikace chování v jazyce EBP.
