2488 search results - page 114 / 498 » An improvement in formal verification |
89
Voted
FMCAD
2008
Springer
15 years 2 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...
115
click to vote
IAW
2003
IEEE
15 years 6 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...
94
Voted
DALT
2004
Springer
15 years 4 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 ...
123
click to vote
CHARME
2001
Springer
15 years 4 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...
108
click to vote
FLAIRS
2009
14 years 10 months ago
2009
Recently, the development of distributed knowledge systems has become more attractive due to the existence of new social semantic applications such as semantic knowledge wikis. Us...