4341 search results - page 220 / 869 » Quantitative Model checking |
126
Voted
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
46
Voted
BMCBI
2010
15 years 2 months ago
2010
125
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Probabilistic timed automata are an extension of timed automata with discrete probability distributions. We consider model-checking algorithms for the subclasses of probabilistic t...
62
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer