91 search results - page 16 / 19 » Mechanized metatheory model-checking |
110
Voted
ENTCS
2007
14 years 11 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
148
click to vote
DALT
2010
Springer
14 years 6 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
116
Voted
SIGSOFT
2007
ACM
16 years 12 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
198
click to vote
POPL
2008
ACM
15 years 12 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
93
Voted
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...