The RPC-memory case study: A synopsis

• 1 January 1996
• book chapter
• Published by Springer Nature
• p. 5-20
• https://doi.org/10.1007/bfb0024425

Abstract

Keywords

• MODEL CHECK
• TEMPORAL LOGIC
• MEMORY COMPONENT
• PROTOTYPE VERIFICATION SYSTEM
• TEMPORAL LOGIC FORMULA