245 search results - page 30 / 49 » Verifying networked programs using a model checker extension |
IFIP
2003
Springer
15 years 2 months ago
2003
Springer
As the mobility and the number of affordable, powerful, and highly portable devices becoming networked increases, so will the amount of networked services offered, managed and disc...
89
Voted
WINET
2010
14 years 8 months ago
2010
In this paper, we present a model that estimates the time duration of routes formed by several intermediate nodes in mobile multi-hop ad-hoc networks. First, we analyze a 3-node ro...
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
TCBB
2010
14 years 8 months ago
2010
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
158
click to vote
CAV
2012
Springer
13 years 3 days ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...