1855 search results - page 58 / 371 » Composing model programs for analysis |
237
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
104
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
118
Voted
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite e...
100
click to vote
IEEEARES
2007
IEEE
15 years 8 months ago
2007
IEEE
Security communication systems composed of highly reliable components may have few if any failures while undergoing heavy testing or field-usage. This paper combines (i) analysis ...
133
click to vote
QSIC
2005
IEEE
15 years 8 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...