Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance
Latest Publications

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By IEEE

0780318552

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Experience applying the CoRE method to the Lockheed C-130J software requirements

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318472 ◽

2002 ◽

Author(s):

S. Faulk ◽

L. Finneran ◽

J. Kirby ◽

S. Shah ◽

J. Sutton

Keyword(s):

Software Requirements ◽

The Core ◽

Download Full-text

AeSOP: an interactive failure mode analysis tool

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318471 ◽

2002 ◽

Author(s):

S.S. Cha

Keyword(s):

Failure Mode ◽

Mode Analysis ◽

Analysis Tool ◽

Failure Mode Analysis

Download Full-text

On measurement of operational security [software reliability]

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318447 ◽

2002 ◽

Author(s):

S. Brocklehurst ◽

B. Littlewood ◽

T. Olovsson ◽

E. Jonsson

Keyword(s):

Software Reliability ◽

Security Software

Download Full-text

Application of an informal program verification method to Ada

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318465 ◽

2002 ◽

Author(s):

B. Wieand ◽

W.E. Howden

Keyword(s):

Program Verification ◽

Verification Method

Download Full-text

Estimation of coverage probabilities for dependability validation of fault-tolerant computing systems

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318463 ◽

2002 ◽

Author(s):

C. Constantinescu

Keyword(s):

Fault Tolerant ◽

Computing Systems ◽

Coverage Probabilities

Download Full-text

A formal model of several fundamental VHDL concepts

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318454 ◽

2002 ◽

Author(s):

D.M. Goldschlag

Keyword(s):

Download Full-text

Experiences formally verifying a network component

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318453 ◽

2002 ◽

Author(s):

P. Curzon

Keyword(s):

Network Component

Download Full-text

State minimization for concurrent system analysis based on state space exploration

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318461 ◽

2002 ◽

Author(s):

I. Kang ◽

I. Zee

Keyword(s):

State Space ◽

System Analysis ◽

Space Exploration ◽

Concurrent System ◽

State Minimization ◽

State Space Exploration

Download Full-text

Using formal methods to derive test frames in category-partition testing

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318466 ◽

2002 ◽

Author(s):

P. Ammann ◽

J. Offutt

Keyword(s):

Formal Methods ◽

Partition Testing

Download Full-text

Formal verification of an interactive consistency algorithm for the Draper FTP architecture under a hybrid fault model

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318462 ◽

2002 ◽

Author(s):

P. Lincoln ◽

J. Rushby

Keyword(s):

Formal Verification ◽

Download Full-text