1219 search results - page 30 / 244 » Verification of Equivalent-Results Methods |
194
click to vote
FMICS
2008
Springer
15 years 9 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
191
Voted
ENTCS
2006
15 years 7 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
189
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
163
click to vote
FMCAD
2008
Springer
15 years 9 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...