2875 search results - page 458 / 575 » Model checking agentspeak |
103
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
102
click to vote
TAMODIA
2008
15 years 2 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
116
Voted
JCP
2006
15 years 21 days ago
2006
Trust models provide a framework to create and manage trust relationships among the different entities of a Public Key Infrastructure (PKI). These trust relationships are verified ...
121
Voted
LOGCOM
2008
15 years 21 days ago
2008
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
102
Voted
TSE
2008
15 years 19 days ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...