5255 search results - page 291 / 1051 » Formal Methods for Privacy |
133
Voted
ZUM
2005
Springer
15 years 10 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
108
click to vote
SFM
2004
Springer
15 years 10 months ago
2004
Springer
This is a tutorial paper on the tool Uppaal. Its goal is to
96
Voted
CAV
2003
Springer
15 years 9 months ago
2003
Springer
114
Voted
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
