Browse > Article

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

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