1129 search results - page 170 / 226 » Formal Verification of Websites |
129
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...
116
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...
136
Voted
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...
113
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
107
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...