1129 search results - page 50 / 226 » Formal Verification of Websites |
CAV
2007
Springer
15 years 6 months ago
2007
Springer
CAV
2007
Springer
15 years 6 months ago
2007
Springer
CAV
2005
Springer
15 years 5 months ago
2005
Springer
111
click to vote
ACSC
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
ENTCS
2006
14 years 12 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...