1356 search results - page 115 / 272 » The ideal of verified software |
165
click to vote
DATE
2008
IEEE
16 years 27 days ago
2008
IEEE
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
169
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
147
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
With the increasing use of Intellectual Property (IP) in the semiconductor industry, the demand to verify IP for quality is high. This paper describes ipscreen, a software tool th...
189
click to vote
EP
1998
Springer
15 years 10 months ago
1998
Springer
This work presents the concepts and the tools involved in the interactive design of artistic screens. The screen elements are derived from a small set of analytical contours provid...
146
click to vote
CATS
2006
15 years 7 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...