1356 search results - page 50 / 272 » The ideal of verified software |
COMSIS
2006
14 years 12 months ago
2006
Traditional knowledge representations were developed to encode complete, explicit and executable programs, a goal that makes them less than ideal for representing the incomplete an...
JAR
2008
14 years 11 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...
JCT
2008
14 years 11 months ago
2008
Abstract. The study of graph vertex colorability from an algebraic perspective has introduced novel techniques and algorithms into the field. For instance, it is known that k-color...
IGPL
2010
14 years 10 months ago
2010
Collective rationality in its ordinary sense is rationality’s extension to groups. It does not entail efficiency by definition. Showing that it entails efficiency requires a nor...
METRICS
2003
IEEE
15 years 5 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...