227 search results - page 13 / 46 » Quantitative verification: models techniques and tools |
102
click to vote
ACSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
117
click to vote
ESEM
2008
ACM
15 years 3 months ago
2008
ACM
Benchmarks provide an experimental basis for evaluating software engineering processes or techniques in an objective and repeatable manner. We present the FAULTBENCH v0.1 benchmar...
75
Voted
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...
145
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
96
Voted
ENTCS
2006
15 years 1 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...