Protocol verification using symbolic model checking

Charles G. Mathieson
To reduce problems encountered in the later phases of the software life cycle, verification techniques can be used in the design phase to ensure that a design has the intended properties. The main advantage of using formal verification over other validation methods, such as simulation and testing, is that it reasons about all possible behaviours of a system. However, formal verification techniques have not yet been widely accepted in industry because most of them suffer...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.