4513 search results - page 70 / 903 » Logic programming with satisfiability |
102
click to vote
AUSAI
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
145
Voted
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
ECBS
1996
IEEE
15 years 5 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
SCAM
2006
IEEE
15 years 7 months ago
2006
IEEE
EPS
1995
Springer
15 years 5 months ago
1995
Springer