647 search results - page 87 / 130 » Generic Trace Logics |
140
Voted
BELL
2000
15 years 4 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
140
click to vote
ENTCS
2002
15 years 4 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
169
Voted
TMC
2012
13 years 6 months ago
2012
—We present the boomerang protocol to efficiently retain information at a particular geographic location in a sparse network of highly mobile nodes without using infrastructure ...
188
Voted
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
— The estimation of correct triggers for handover in cellular networks belongs to the critical tasks for accurate network operation. The importance of seamless handover even rise...
128
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...