Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

프로그래밍 언어의 관점에서 본 소프트웨어/하드웨어의 정형 검증 방법 소개

  • Published : 2003.01.01
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. Formal Methods-FACT FILE, VDM and Z A. Harry
  2. The Art of Software Testing G. J Myers
  3. NRL/FR/ 5546 ?93-9581 v.1 An International Survey of Industrial Applications of Formal Methods D. H. Craigen;S. L. Gerhart;T. J. Ralston
  4. ACM Computing Surveys v.28 no.4 Formal Methods: State of the Art and Future Directions E. M. Clarke;J. M. Wing
  5. Symbolic Model Checking K. L.McMillan
  6. The Temporal Logic of Reactive and Concurrent Systems - Specification Z. Manna;A. Pnueli
  7. Proceedings of CONCUR 2001 (LNCS 2154) Using the Bandera Tool Set to Model-check Properties of Concurrent Java Software J. Hatcliff;M. Dwyer
  8. Proceedings of the 22th ICSE Bandera : Extracting Finite-state Models from Java Source Code J. Corbett;M. Dwyer;J. Hatcliff;C. Pasareanu;Robby;S. Laubach;H. Zheng
  9. Proceedings of POPL 2002 The SLAM Project: Debugging System Software via Static Analysis T. Ball;S. K. Rajamani
  10. Proceedings of the 6th International SPIN Workshop, LNCS v.1680 dSPIN: A dynamic extension of SPIN. In Theoretical and Applied Aspects of SPIN Model Checking C. Demartini;R. Iosif;R. Sisto
  11. International Journal on Software Tools for Technology Transfer Model Checking Java Programs Using Java PathFinder K. Havelund;T. Pressburger
  12. Invited Paper, ICSE 99 Software Model Checking G. J. Holzmann;M. Smith
  13. Verilog HDL P. Samir
  14. SystemC Version2.0 User's Guide
  15. Design and Validation of Computer Protocols G. J. Holzmann
  16. IEEE Transactions on Software Engineering The Model Checker? SPIN G. J. Holzmann
  17. proceeding of CAV 2001 The SLAM Toolkit T. Ball;S. K. Rajamani
  18. MSR Technical Report 2000-14 Boolean Programs: A Model and Process for Software Analysis T. Ball;S. K. Rajamani
  19. MSR-TR-2001-21 SLIC: A Specification Language for Interface Checking(of C) T. Ball;S. K. Rajamani
  20. Proceedings of 6th International SPIN Workshop, LNCS v.1885 Bebop: A Symbolic Model Checker for Boolean Programs T. Ball;S. K. Rajamani
  21. VIS User's Manual T. Villa;G. Swamy;T. Shiple
  22. RLIF-MV Y. Kukimoto