Model checking in the Design of a IPv6 Hardware

Paper Abstract

This report contains information about the model checking method of formal verification and the first steps of using this method in the project of IPv6 hardware router. Moreover, an overview of some model checking tools is given.


BACK to list of publications