283 search results - page 23 / 57 » Effective Program Verification for Relaxed Memory Models |
198
click to vote
POPL
2008
ACM
16 years 9 hour 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...
101
click to vote
TCOM
2008
14 years 11 months ago
2008
Abstract--Incremental-redundancy hybrid automatic repeatrequest (IR-HARQ) schemes are proposed in several wireless standards for increased throughput-efficiency and greater reliabi...
122
click to vote
ICFP
2010
ACM
15 years 23 days ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
ENTCS
2002
14 years 11 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
103
click to vote
DAC
2004
ACM
16 years 20 days ago
2004
ACM
An ever increasing number of dynamic interactive applications are implemented on portable consumer electronics. Designers depend largely on operating systems to map these applicat...