14 search results - page 1 / 3 » Linking Object-Z with Spec |
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
FAC
2002
13 years 4 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
FMICS
2007
Springer
13 years 11 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
IFM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...