On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
IEEE Transactions on Software Engineering
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
B: towards zero defect software
High integrity software
Objects and classes in Algol-like languages
Information and Computation - FOOL V
ASM Refinement and generalizations of forward simulation in data refinement: a comparison
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM (JACM)
Theoretical Computer Science
Observational purity and encapsulation
Theoretical Computer Science
Simulation Refinement for Concurrency Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
ArcAngelC: a Refinement Tactic Language for Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
More Relational Concurrent Refinement: Traces and Partial Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Simpler backward simulation proofs
CATS '10 Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109
Abstraction for concurrent objects
Theoretical Computer Science
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
Coupling schemas: data refinement and view (point) composition
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Local Reasoning for Global Invariants, Part II: Dynamic Boundaries
Journal of the ACM (JACM)
| Hi-index | 0.00 |