6274 search results - page 14 / 1255 » Proofs, Programs, Processes |
110
click to vote
CADE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
MST
2008
14 years 11 months ago
2008
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. We review the allegorical foundations of a methodology of designing datatype-generic programs...
ICALP
2001
Springer
15 years 4 months ago
2001
Springer
PPDP
2000
Springer
15 years 3 months ago
2000
Springer
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...