Computer Science University / Laboratory of Microcomputer Systems / /
IndustryTerm
symbolic equivalence verification tool / e.g. communication protocols / implemented algorithms / process algebra tools / telecommunication networks / concurrent systems / model internal communications / verification technologies / larger concurrent systems / /
OperatingSystem
Linux / HP-UX / Windows 95 / /
Organization
Zmago Brezoˇcnik Faculty of Electrical Engineering / Electrical Engineering and Computer Science University of Maribor Smetanova / Faculty of Electrical Engineering and Computer Science / Politecnico di Torino / Laboratory of Microcomputer Systems / /
Person
Randal E. Bryant / Tatjana Kapus / Dirk Taubner / Reinhard Enders / Thomas Filkorn / Ci / Robert Meolic / Zmago Brezoˇcnik / Frits Vaandrager / Jan Friso Groote / Richard L. Rudell / /
Position
cycler / first cycler at the beginning / scheduler / simple distributed scheduler / /
ProgrammingLanguage
Tcl / Tcl/Tk / /
ProvinceOrState
Manitoba / /
PublishedMedium
Formal Aspects of Computing / /
Technology
RAM / e.g. communication protocols / well implemented algorithms / Linux / verification technologies / simulation / operating systems / example Bounded Retransmission Protocol / /
THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli