Efficient Guided Symbolic Reachability Using Reachability Expressions

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/11691372_8 ◽

2006 ◽

pp. 120-134 ◽

Cited By ~ 3

Author(s):

Dina Thomas ◽

Supratik Chakraborty ◽

Paritosh Pandya

Download Full-text