Combining search space partition and abstraction for LTL model checking

✍ Scribed by Fei Pu; WenHui Zhang

• Publisher: Science in China Press (SCP)
• Year: 2007
• Tongue: English
• Weight: 292 KB
• Volume: 50
• Category: Article
• ISSN: 1674-733X
• DOI: 10.1007/s11432-007-0073-y