3457 search results - page 66 / 692 » A Symbol Is Not a Symbol |
ICFEM
2009
Springer
13 years 8 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
SP
2006
IEEE
14 years 4 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
AGI
2008
13 years 11 months ago
2008
One approach in pursuit of general intelligent agents has been to concentrate on the underlying cognitive architecture, of which Soar is a prime example. In the past, Soar has reli...
PLDI
2009
ACM
14 years 5 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...