8828 search results - page 345 / 1766 » Formal methods in practice |
138
click to vote
SFM
2004
Springer
16 years 3 days ago
2004
Springer
This is a tutorial paper on the tool Uppaal. Its goal is to
179
Voted
OOPSLA
2007
Springer
16 years 27 days ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
160
click to vote
ISOLA
2004
Springer
16 years 4 days ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...