dSPIN: A Dynamic Extension of SPIN

• 27 August 1999
• book chapter
• Published by Springer Nature
• p. 261-276
• https://doi.org/10.1007/3-540-48234-2_20

Abstract

Keywords

• MODEL CHECKER
• FUNCTION CALL
• POINTER VARIABLE
• PROCESS VECTOR
• DYNAMIC EXTENSION