Language generation and verification in the NRL protocol analyzer | IEEE Conference Publication | IEEE Xplore