Slicing Software for Model Construction

• 1 January 2000
• journal article
• Published by Springer Nature in Higher-Order and Symbolic Computation
• Vol. 13  (4) , 315-353
• https://doi.org/10.1023/a:1026599015809

Abstract

Keywords

• MODEL CHECKING
• BEHAVIOR
• SAFETY
• MODELS
• SOFTWARE
• TRANSITION
• FINITE
• SLICING
• IRRELEVANT