3891 search results - page 426 / 779 » A logic for strategic reasoning |
202
Voted
DAC
2008
ACM
16 years 8 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...
180
Voted
SEKE
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a strategy, based on requirement patterns (RP), aimed at improving the requirement analysis discipline by allowing business analysts (BA) to produce more relia...
182
click to vote
TLDI
2009
ACM
16 years 4 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
173
click to vote
LICS
2008
IEEE
16 years 2 months ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
194
click to vote
TPHOL
2007
IEEE
16 years 2 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...