Verification Languages
SPIN
Murphi
Libero
, a graphical state-based program generator that outputs code in different languages
Internet Technical Notes and Resources
Last modified: 1997-06-06 by
Henning Schulzrinne