227 search results - page 12 / 46 » Quantitative verification: models techniques and tools |
162
click to vote
JSC
2010
14 years 8 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
103
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
124
click to vote
MVA
1994
15 years 3 months ago
1994
This paper presents an efficient extraction method of closed loops as primitive symbols of line drawings, and an robust line drawing understanding system incorporating this extrac...
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
104
click to vote
ATVA
2009
Springer
15 years 5 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...