32032 search results - page 81 / 6407 » Verified programming in Guru |
121
Voted
PLDI
2004
ACM
15 years 6 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
103
Voted
TLDI
2010
ACM
15 years 9 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
114
click to vote
ESAS
2005
Springer
15 years 6 months ago
2005
Springer
Wireless sensor networks are envisioned to be deployed in mission-critical applications. Detecting a compromised sensor, whose memory contents have been tampered, is crucial in the...
98
Voted
IJFCS
2006
15 years 22 days ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
85
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...