4341 search results - page 220 / 869 » Quantitative Model checking |
103
Voted
APLAS
2010
ACM
15 years 29 days 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...
93
Voted
ACTA
2010
15 years 26 days ago
2010
35
Voted
BMCBI
2010
15 years 25 days ago
2010
105
Voted
CORR
2008
Springer
15 years 24 days 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...
48
Voted
CORR
2008
Springer
15 years 24 days ago
2008
Springer