메뉴 건너뛰기
Journal of Automated Reasoning
Volumn 5, Issue 4, 1989, Pages 519-530
Kit and the short stack
Author keywords

automated theorem proving; formal specifications protection; operating systems; Program verification; security
Indexed keywords

AUTOMATA THEORY--THEOREM PROVING; COMPUTERS--DATA COMMUNICATION SYSTEMS;
EID: 0024899756     PISSN: 01687433     EISSN: 15730670     Source Type: Journal    
DOI: 10.1007/BF00243135     Document Type: Article
Times cited : (19)
References (6)
  • 1
    • 84934940291 scopus 로고    scopus 로고
    • Bevier, W. R., ‘Kit: A study in operating system verification’ (to appear in IEEE Trans. on Soft. Eng.). Also available as Tech. Rept 28, Computational Logic, Inc., 1717 W. 6th St., Suite 290, Austin, Texas 78703.
  • 2
    • 84934977292 scopus 로고    scopus 로고
    • Bevier, W. R., Hunt, W. A., Moore, J S., and Young, W. D., ‘An approach to systems verification’ (in this issue of The Journal of Automated Reasoning).
  • 4
    • 84934930738 scopus 로고    scopus 로고
    • Hunt, W. A., ‘Microprocessor design verification’ (in this issue of The Journal of Automated Reasoning).
  • 5
    • 84935015241 scopus 로고    scopus 로고
    • Moore, J S., ‘A mechanically verified language implementation’ (in this issue of The Journal of Automated Reasoning). Also available as Tech. Rept 30, Computational Logic, Inc., 1717 W. 6th St., Suite 290, Austin, Texas 78703.
  • 6
    • 84935012886 scopus 로고    scopus 로고
    • Young, W. D., ‘A mechanically verified code generator’ (in this issue of The Journal of Automated Reasoning). Also available as Tech. Rept 36, Computational Logic, Inc., 1717 W. 6th St., Suite 290, Austin, Texas 78703.

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.