Verifying networked programs using a model checker extension
暂无分享,去创建一个
[1] Cyrille Artho,et al. Tools and Techniques for Model Checking Networked Programs , 2008, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing.
[2] Cyrille Artho,et al. Efficient Model Checking of Networked Applications , 2008, TOOLS.
[3] Klaus Havelund,et al. Model checking JAVA programs using JAVA PathFinder , 2000, International Journal on Software Tools for Technology Transfer.
[4] Guy L. Steele,et al. Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)) , 2005 .
[5] Guy L. Steele,et al. The Java Language Specification , 1996 .