Symbolic model checking visualization

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1522, Issue , 1998, Pages 290-302

  Kamhi, Gila ^a   Fix, Limor ^a   Binyamini, Ziv ^a  

^a INTEL CORPORATION   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; EXPERT SYSTEMS; FORMAL VERIFICATION; PRODUCTIVITY; VISUALIZATION;

ALGORITHM ANIMATION; CAPACITY LIMITATION; INDUSTRIAL DEPLOYMENT; INTEGRATED TECHNIQUES; PERFORMANCE MONITORING; SYMBOLIC MODEL CHECKING; VERIFICATION TASK; VISUALIZATION TECHNIQUE;

MODEL CHECKING;

EID: 84948984452     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49519-3_19     Document Type: Conference Paper

References (13)

1. [1] G. Kamhi O. Weissberg, L. Fix, Z. Binyamini, Z. Shtadler. Automatic Datapath Extraction for Efficient Usage of HDDs. In Proceedings of the 9th International Conference on Computer-Aided Verification, CAV’97, Haifa, Israel, June 1997, LNCS 1254.
2. [3] K.L. McMillan. Symbolic Model Checking, Kluwer Academic Publishers.
3. [5] I. Beer, S. Ben-David, C. Eisner, and Avner Landver. Rulebase: an industry-oriented formal verification tool. In Proceedings of the 33rd Design Automation Conference. IEEE Computer Society Press, June 1996.
4. [6] E.A. Feigenbaum. The Art of Artificial Intelligence: Themes and Case Studies in Knowledge Engineering, In Proceedings of IJCAI 5, 1977.
5. [7] Stefik, Aikins, Balzer, Benoit, Birnbaum, Hayes Roth, Sacerdoti, R “The Organization of Expert Systems”, Artificial Intelligence, Vol. 18, pp. 135-173, Mar. 1982
6. [8] Sridharan, N.S., “Artificial Intelligence 11, Special Issue on Applications to the Sciences and Medicine”, 1978
7. [9] Shortliffe, Buchanan,Feigenbaum,Knowledge Engineering for Medical Decision Making: A Review of Computer-based Clinical Decision Aids”, Proceedings of IEEE, Vol. 67, pp. 1207-1224, 1979
8. [10] C.A. Kulikowski, “Artificial Intelligence Methods and Systems for Medical Consultation”, IEEE Transactions on Pattern Analysis and Machine Intelligence, Sept. 1980
9. [11] E. Rich, Artificial Intelligence. MC Graw Hill Series.
10. [12] M.H. Brown, J. Hershberger, “Color and Sound in Algorithm Animation”, IEEE Computer, December 1992.
11. [14] M.H. Brown, J. Hershberger, “Zeus: A System for Algorithm Animation”, In Proceedings of IEEE 1991 Workshop on Visual Languages
12. [16] M.H. Brown, “Exploring Algorithms Using Balsa-II, IEEE Computer, May 1988
13. [17] R.S. Michalski, R.L. Chilausky, “Learning by Being Told and Learning from Examples: an experimental comparison of the two methods of knowledge acquisition in the context of developing an expert system for soybean disease diagnosis”, In “Policy Analysis and Information Systems”, Special Issue on Knowledge Acquisition and Induction, No.2, 1980