4573 search results - page 179 / 915 » Automated Reasoning |
112
Voted
NMR
2004
Springer
15 years 9 months ago
2004
Springer
172
Voted
ESOP
2006
Springer
15 years 7 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...
122
Voted
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
141
Voted
ICONIP
2009
15 years 1 months ago
2009
Malware (Malicious Software) of Windows OS has become more sophisticated. To take some countermeasures for recent infection, more intelligent and automated system log analysis is n...
143
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...