Tackling the RPC-Memory Specification Problem with I/O Automata

Authors:
Judi Romijn
Affiliations:
-
Venue:
Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)
Year:
1996

Citing 0
Cited 5

Using TAME to prove invariants of automata models: Two case studies

FMSP '00 Proceedings of the third workshop on Formal methods in software practice
TAME: Using PVS strategies for special-purpose theorem proving

Annals of Mathematics and Artificial Intelligence
Proving Invariants of I/O Automata with TAME

Automated Software Engineering
Translation Templates to Support Strategy Development in PVS

Electronic Notes in Theoretical Computer Science (ENTCS)
PVS Strategies for Proving Abstraction Properties of Automata

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract