2875 search results - page 191 / 575 » Model checking agentspeak |
125
click to vote
FUIN
2007
15 years 3 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
TOSEM
2008
15 years 3 months ago
2008
105
Voted
AICOM
2004
15 years 3 months ago
2004
COMPUTER
2000
15 years 3 months ago
2000
138
Voted
TOCL
2011
14 years 10 months ago
2011
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...