6059 search results - page 254 / 1212 » A Technique for Verifying Measurements |
150
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
150
Voted
EWSA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
195
Voted
DATE
2003
IEEE
16 years 4 hour ago
2003
IEEE
More and more the system verification makes use of hardware emulation techniques that allow a speed up in simulation performance up to thousand times. Typically, a design is comp...
149
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In modern System-on-Chip (SoC) designs verification becomes the major bottleneck. Since by using state-of-theart techniques complete designs cannot be fully formally verified, it ...
144
click to vote
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...