32032 search results - page 35 / 6407 » Verified programming in Guru |
149
click to vote
ICST
2009
IEEE
14 years 10 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...
95
Voted
CADE
2001
Springer
16 years 27 days 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...
92
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
197
Voted
POPL
2008
ACM
16 years 27 days 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...
106
Voted
OOPSLA
2007
Springer
15 years 6 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...