2875 search results - page 149 / 575 » Model checking agentspeak |
72
Voted
CMSB
2009
Springer
15 years 7 months ago
2009
Springer
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
70
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
91
Voted
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...