Methodology with object oriented framework for specification and verification of protocols in distributed computer networks
