276 search results - page 2 / 56 » Abstraction and Refinement for Local Reasoning |
74
Voted
CAV
2008
Springer
15 years 1 months ago
2008
Springer
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
DAC
2005
ACM
16 years 19 days ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
101
click to vote
FLAIRS
2006
15 years 1 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...