32032 search results - page 82 / 6407 » Verified programming in Guru |
129
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
108
Voted
EMSOFT
2007
Springer
15 years 4 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
72
Voted
TAP
2009
Springer
15 years 7 months ago
2009
Springer
The method contract and loop invariant rules (contract rules) are an important software verification technique for handling method invocations and loops. However, if a verificati...
103
click to vote
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
FSKD
2005
Springer
15 years 6 months ago
2005
Springer
Incremental checkpointing is an cost-efficient fault tolerant technique for long running programs such as genetic algorithms. In this paper, we derive the equations for the writing...