1222 search results - page 166 / 245 » Verifying a File System Implementation |
115
Voted
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
118
click to vote
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
111
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
137
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
123
click to vote
SAS
2005
Springer
15 years 8 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...