Software Analysis and Model Checking
暂无分享,去创建一个
[1] G.J. Holzmann,et al. Using SPIN model checking for flight software verification , 2002, Proceedings, IEEE Aerospace Conference.
[2] Orna Kupferman,et al. Vacuity detection in temporal model checking , 2003, International Journal on Software Tools for Technology Transfer.
[3] Jerry J. Harrow. Runtime Checking of Multithreaded Applications with Visual Threads , 2000, SPIN.
[4] James C. Corbett,et al. Bandera: extracting finite-state models from Java source code , 2000, ICSE.
[5] Enrico Tronci,et al. Correct Hardware Design and Verification Methods , 2003, Lecture Notes in Computer Science.
[6] Pierre Wolper,et al. Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.
[7] Hugh G. ApSimon. "An Impossible Program" , 1965, Comput. J..
[8] William E. Howden,et al. Functional program testing and analysis , 1986 .
[9] Dawson R. Engler,et al. Checking system rules using system-specific, programmer-written compiler extensions , 2000, OSDI.
[10] Klaus Havelund,et al. Model checking JAVA programs using JAVA PathFinder , 2000, International Journal on Software Tools for Technology Transfer.
[11] Gerard J. Holzmann,et al. Economics of software verification , 2001, PASTE '01.
[12] Gerard J. Holzmann,et al. Automating software feature verification , 2000, Bell Labs Technical Journal.
[13] Gerard J. Holzmann,et al. UNO: Static Source Code Checking for User-Defined Properties 1 , 2002 .
[14] Matthew B. Dwyer,et al. Slicing Software for Model Construction , 2000, High. Order Symb. Comput..
[15] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.
[16] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..
[17] Frank Tip,et al. A survey of program slicing techniques , 1994, J. Program. Lang..
[18] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[19] John Penix,et al. Using predicate abstraction to reduce object-oriented programs for model checking , 2000, FMSP '00.
[20] Klaus Havelund,et al. Model Checking Programs , 2004, Automated Software Engineering.
[21] Bjarne Stroustrup,et al. The C++ programming language (2nd ed.) , 1991 .
[22] Patrick Cousot,et al. Static determination of dynamic properties of programs , 1976 .
[23] Orna Kupferman,et al. Vacuity Detection in Temporal Model Checking , 1999, CHARME.
[24] Sriram K. Rajamani,et al. Automatically validating temporal safety properties of interfaces , 2001, SPIN '01.