3081 search results - page 251 / 617 » A Formal Ontology of Properties |
146
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
156
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
176
click to vote
ISIPTA
1999
IEEE
15 years 11 months ago
1999
IEEE
The aim of this paper is to survey and brie y discuss various rules of conditioning proposed in the framework of possibility theory as well as various conditional independence rel...
165
click to vote
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
209
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...