32032 search results - page 111 / 6407 » Verified programming in Guru |
ISCI
2010
14 years 10 months ago
2010
JIPS
2011
14 years 8 months ago
2011
110
Voted
LPAR
2001
Springer
15 years 5 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
110
click to vote
CORR
2002
Springer
15 years 23 days ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
143
click to vote
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...