applying formal methods to networking : theory , techniques , and applications .
A tool for checking ANSI-C programs