Symbolic Model Checking

• 1 January 1993
• book chapter
• Published by Springer Nature
• p. 25-60
• https://doi.org/10.1007/978-1-4615-3190-6_3

Abstract

Keywords

• CTL
• FORMULA
• MODEL CHECKING
• BUILD
• BOOLEAN
• SYMBOLICALLY
• STRUCTURE
• FUNCTIONALS