2873 search results - page 305 / 575 » Model Checking and the Mu-calculus |
144
click to vote
ACL
2003
15 years 5 months ago
2003
An investment of effort over the last two years has begun to produce a wealth of data concerning computational psycholinguistic models of syntax acquisition. The data is generated...
185
click to vote
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
240
click to vote
ECCB
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
137
click to vote
IPL
2008
15 years 4 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
129
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...