32032 search results - page 35 / 6407 » Verified programming in Guru |
175
Voted
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
129
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
116
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
236
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
128
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...