Objectives

Develop verification technologies for IPv6.

Contribute to quality improvement of IPv6 stacks.

To make the tools/results freely available to the public, especially to IPv6 community.

Tight relationship with KAME Project
http://www.kame.net