1129 search results - page 98 / 226 » Formal Verification of Websites |
147
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
135
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
180
click to vote
IAW
2003
IEEE
15 years 11 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
152
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of ...
188
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...