1129 search results - page 26 / 226 » Formal Verification of Websites |
FM
2009
Springer
15 years 8 months ago
2009
Springer
CAV
2004
Springer
15 years 7 months ago
2004
Springer
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
148
click to vote
HASE
2008
IEEE
15 years 1 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...
96
Voted
DAC
2000
ACM
16 years 2 months 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...