1129 search results - page 26 / 226 » Formal Verification of Websites |
FM
2009
Springer
15 years 6 months ago
2009
Springer
CAV
2004
Springer
15 years 5 months ago
2004
Springer
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
123
click to vote
HASE
2008
IEEE
14 years 12 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
DAC
2000
ACM
16 years 23 days ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...