32032 search results - page 35 / 6407 » Verified programming in Guru |
130
click to vote
ICST
2009
IEEE
14 years 8 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...
CADE
2001
Springer
15 years 11 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...
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
177
click to vote
POPL
2008
ACM
15 years 11 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...
OOPSLA
2007
Springer
15 years 5 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...