1129 search results - page 177 / 226 » Formal Verification of Websites |
108
click to vote
ICCAD
1998
IEEE
15 years 6 months ago
1998
IEEE
Retiming and resynthesis transformations can be used for optimizing the area, power, and delay of sequential circuits. Even though this technique has been known for more than a de...
102
Voted
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
117
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
121
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...