2488 search results - page 239 / 498 » An improvement in formal verification |
126
click to vote
AICT
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
128
click to vote
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
124
click to vote
DAC
2007
ACM
15 years 5 months ago
2007
ACM
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
114
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
134
click to vote
CODES
2008
IEEE
15 years 3 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...