THE EFFICIENT SYMBOLIC TOOLS PACKAGE
Robert Meolic, Tatjana Kapus, Zmago Brezo · 2000
Abstract: Efficient Symbolic Tools (EST) is a software package for formal verification of concurrent systems. It appears as an educational project and has been entirely written in the Laboratory of Microcomputer Systems at the Faculty of Electrical Engineering and Computer Science in Maribor. The main purpose of our work was a study of algorithms that could serve for formal verification of complex protocols, which are used in computer and telecommunication networks.