4036 search results - page 173 / 808 » Formal Methods |
180
click to vote
ZUM
2005
Springer
16 years 10 days 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...
140
click to vote
SFM
2004
Springer
16 years 6 days ago
2004
Springer
This is a tutorial paper on the tool Uppaal. Its goal is to
