36 search results - page 8 / 8 » Model Checking on Trees with Path Equivalences |
ENTCS
2007
13 years 7 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...