294 search results - page 13 / 59 » Formal Verification of the Implementability of Timing Requir... |
IEEEPACT
2007
IEEE
15 years 8 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
131
click to vote
CCS
2009
ACM
15 years 6 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
143
click to vote
ECLIPSE
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
138
click to vote
ENTCS
2006
15 years 1 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
163
click to vote
SBMF
2010
Springer
14 years 8 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...