Practical CTL * model checking: Should SPIN be extended?

• 1 March 2000
• journal article
• Published by Springer Nature in International Journal on Software Tools for Technology Transfer
• Vol. 2  (4) , 350-365
• https://doi.org/10.1007/s100090050042

Abstract

Keywords

• GAMES
• MODEL CHECKING
• BUCHI AUTOMATA
• SPIN
• HESITANT AL- TERNATING AUTOMATA