Presented at the 2005 Ottawa Linux Symposium, this paper (co-authored with Rusty Russell) is a brief overview of nfsim's role in netfilter testing, as well as a general promotion of wider Linux kernel verification.
Slides available nfsim.sxi (400.6 kB), the paper is available in volume 2 of the OLS 2005 Proceedings.