1541 search results - page 37 / 309 » Tools and Techniques for Model Checking Networked Programs |
128
click to vote
ERSHOV
2009
Springer
14 years 10 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
87
Voted
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
118
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
106
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
132
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...