Computer Network Protocol Validation

The project objective is to propose a collection of tools for network protocol validation.

Sponsor : Electronic Computer Factory, Bucharest , Romania .

Activity description : Obtained research grant. Principal investigator with Prof. Valentin Cristea. Carried out the conceptual model and the system architecture. Authored a language for protocol specification. Directed and organized the development team. Managed the system implementation.

Environments/Tools used : PDP-11/RX11, C.

Skills/Roles : Project manager, systems analyst.