2004 search results - page 33 / 401 » Comparison of Model Checking Tools for Information Systems |
ECBS
2003
IEEE
15 years 5 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
DAC
2005
ACM
16 years 23 days ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
108
click to vote
PST
2008
15 years 1 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
PACS
2000
Springer
15 years 3 months ago
2000
Springer
Reducing power, on both a per cycle basis and as the total energy used over the lifetime of an application, has become more important as small and embedded devices become increasi...
ISICT
2003
15 years 1 months ago
2003
Abstract: A vision of tools to support software development organizations in the process of development, maintenance and evolution of systems is presented. The envisioned tools see...