Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

078033390x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Comparing verification systems: interactive consistency in ACL2

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507873 ◽

2002 ◽

Cited By ~ 1

Author(s):

W.D. Young

Keyword(s):

Verification Systems

Download Full-text

Increasing assurance with literate programming techniques

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507887 ◽

2002 ◽

Cited By ~ 4

Author(s):

A.P. Moore ◽

C.N. Payne

Keyword(s):

Literate Programming ◽

Programming Techniques

Download Full-text

A correctness proof of a cache coherence protocol

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507881 ◽

2002 ◽

Cited By ~ 4

Author(s):

A. Felty ◽

F. Stomp

Keyword(s):

Cache Coherence ◽

Correctness Proof ◽

Cache Coherence Protocol

Download Full-text

ACL2: an industrial strength version of Nqthm

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507872 ◽

2002 ◽

Cited By ~ 26

Author(s):

M. Kaufmann ◽

J. Strother Moore

Keyword(s):

Industrial Strength

Download Full-text

Detecting equivalent mutants and the feasible path problem

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507890 ◽

2002 ◽

Cited By ~ 25

Author(s):

A.J. Offutt ◽

Jie Pan

Keyword(s):

Feasible Path

Download Full-text

A framework for composition

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507888 ◽

2002 ◽

Cited By ~ 6

Author(s):

T. Fine

Download Full-text

The specification of an asynchronous router

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507882 ◽

2002 ◽

Cited By ~ 1

Author(s):

F. Moller

Download Full-text

Verification of consistency between concurrent program designs and their requirements

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507879 ◽

2002 ◽

Cited By ~ 1

Author(s):

M. Chechik ◽

J. Gannon

Keyword(s):

Concurrent Program

Download Full-text

Verifying SOS specifications

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507880 ◽

2002 ◽

Author(s):

B. Bloom ◽

A. Cheng ◽

A. Dzouza

Download Full-text

Industrial usage of formal development methods-the VSE-tool applied in pilot projects

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507875 ◽

2002 ◽

Author(s):

F. Koob ◽

M. Ullmann ◽

S. Wittmann

Keyword(s):

Pilot Projects ◽

Formal Development ◽

Development Methods

Download Full-text

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Comparing verification systems: interactive consistency in ACL2

Increasing assurance with literate programming techniques

A correctness proof of a cache coherence protocol

ACL2: an industrial strength version of Nqthm

Detecting equivalent mutants and the feasible path problem

A framework for composition

The specification of an asynchronous router

Verification of consistency between concurrent program designs and their requirements

Verifying SOS specifications

Industrial usage of formal development methods-the VSE-tool applied in pilot projects

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96
Latest Publications