3 search results - page 1 / 1 » Breaking up is hard to do: An evaluation of automated assume... |
72
Voted
TOSEM
2008
15 years 6 days ago
2008
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
195
Voted
GIS
2007
ACM
16 years 1 months ago
2007
ACM
Given a transportation network, a vulnerable population, and a set of destinations, evacuation route planning identifies routes to minimize the time to evacuate the vulnerable pop...