2291 search results - page 31 / 459 » Logic Programming and Model Checking |
FMCO
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
TIME
2007
IEEE
14 years 2 months ago
2007
IEEE
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
FSTTCS
2004
Springer
14 years 2 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...