189 search results - page 16 / 38 » Verifying Multi-agent Programs by Model Checking |
WWW
2006
ACM
14 years 9 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
OSDI
2002
ACM
14 years 9 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
CAV
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
ICALP
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...