4036 search results - page 173 / 808 » Formal Methods |
161
click to vote
ZUM
2005
Springer
15 years 11 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...
127
click to vote
SFM
2004
Springer
15 years 11 months ago
2004
Springer
This is a tutorial paper on the tool Uppaal. Its goal is to
115
Voted
CAV
2003
Springer
15 years 11 months ago
2003
Springer
