Applying Formal Methods to a Certifiably Secure Software System von Heitmeyer, Constance, Archer, Myla, Leonard, Elizabeth, McLean, John

Volltext

Building high assurance human-centric decision systems von Heitmeyer, Constance L., Pickett, Marc, Leonard, Elizabeth I., Archer, Myla M., Ray, Indrakshi, Aha, David W., Trafton, J. Gregory

Volltext

Model-based construction and verification of critical systems using composition and partial refinement von Jeffords, Ralph D., Heitmeyer, Constance L., Archer, Myla M., Leonard, Elizabeth I.

Volltext

TAME: Using PVS strategies for special-purpose theorem proving von Archer, Myla

Volltext

Using abstraction and model checking to detect safety violations in requirements specifications von Heitmeyer, C., Kirby, J., Labaw, B., Archer, M., Bharadwaj, R.

Volltext

Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges von Archer, Myla

Volltext

Specifying and proving properties of timed I/O automata using Tempo von Archer, Myla, Lim, Hongping, Lynch, Nancy, Mitra, Sayan, Umeno, Shinya

Volltext

A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition von Jeffords, Ralph, Heitmeyer, Constance, Archer, Myla, Leonard, Elizabeth

Volltext

Idea: Writing Secure C Programs with SecProve von Archer, Myla M., Leonard, Elizabeth I., Heitmeyer, Constance L.

Volltext

Proving Invariants of I/O Automata with TAME von Archer, Myla, Heitmeyer, Constance, Riccobene, Elvinia

Volltext

Human-style theorem proving using PVS von Archer, Myla, Heitmeyer, Constance

Volltext

PVS Strategies for Proving Abstraction Properties of Automata von Mitra, Sayan, Archer, Myla

Volltext

Translation Templates to Support Strategy Development in PVS von Lim, Hongping, Archer, Myla

Volltext

Towards a methodology and tool for the analysis of security-enhanced linux security policies von Archer, Myla, Leonard, Elizabeth, Pradella, Matteo

Volltext

Towards a transformational approach to program verification von Archer, Myla, Lo, Amy, Olsson, Ronald A.

Volltext

Proceedings STRATA 2003. first international workshop on design and application of strategies/tactics in higher order logics; focus on PVS experiences von Archer, Myla M, Divito, Ben L, Munoz, Cesar

Volltext

Basing a Modeling Environment on a General Purpose Theorem Prover von Archer, Myla

Volltext bestellen

Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges von Archer, Myla

Volltext bestellen

Making PVS do what you want von Archer, M.

Volltext bestellen

Verifying hybrid systems modeled as timed automata: A case study von Archer, Myla, Heitmeyer, Constance

Volltext