1. Lecture Notes in Computer Science;G. Balakrishnan,2004
2. Chen, H., Dean, D., Wagner, D.: Model checking one million lines of C code. In: Symp. on Network and Distributed Systems Security (2004)
3. Christodorescu, M., Jha, S.: Static analysis of executables to detect malicious patterns. In: USENIX Security Symposium (2003)
4. CodeSurfer, GrammaTech., Inc., http://www.grammatech.com/products/codesurfer/
5. Dwyer, M., Avrunin, G., Corbett, J.: Patterns in property specifications for finite-state verification. In: Int. Conf. on Softw. Eng. (1999)